how do i launch an IRS?