: launch ( -- | launch the space shuttle ) BEGIN ( H M S HS ) 00 00 06 60 T- is-time? IF start-main-engine-3 THEN 00 00 06 48 T- is-time? IF start-main-engine-2 THEN 00 00 06 36 T- is-time? IF start-main-engine-1 THEN 00 00 00 00 T+ is-time? IF ignite-SRBS release-SRBS THEN 00 00 00 01 T+ is-time? UNTIL ;