MACHINE Simulation OPERATIONS main = skip END