$ run imp80 imp80 rt30 $ implink rt30 $ run rt30 $ run imp80 imp80 rt31 $ implink rt31 $ run rt31 $ run imp80 imp80 rt32 $ implink rt32 $ run rt32 $ run imp80 imp80 rt33 $ implink rt33 $ run rt33 $ run imp80 imp80 rt34 $ implink rt34 $ run rt34 $ run imp80 imp80 rt35 $ implink rt35 $ run rt35 $ run imp80 imp80 rt36 $ implink rt36 $ run rt36 $ run imp80 imp80 rt37 $ implink rt37 $ run rt37 $ run imp80 imp80 rt38 $ implink rt38 $ run rt38 $ run imp80 imp80 rt39 $ implink rt39 $ run rt39