1Altsteps input.ttcn /^module Altsteps$/;" M 2alt_guard input.ttcn /^ altstep alt_guard () runs on CoffeeMachine$/;" a 3alt_catchAnything input.ttcn /^ altstep alt_catchAnything ()$/;" a 4activateAltsteps input.ttcn /^ function activateAltsteps ()$/;" f 5