1CoffeeMachine input.ttcn /^module CoffeeMachine$/;" M 2startCoffeePrepration input.ttcn /^ function startCoffeePrepration()$/;" f 3drinkCoffee input.ttcn /^ function drinkCoffee(charstring coffeeType)$/;" f 4getCoffee input.ttcn /^ function getCoffee() runs on CoffeeDrinkerComponentType$/;" f 5boilWater input.ttcn /^ function boilWater() return Water$/;" f 6