machine flicker
[
	states [ light_off , light_on ];

	starting on light_on;

	events [ one_second ];
	transitions
	[
		from light_on to light_off on event one_second
			execute turn_off_light;
		from light_off to light_on on event one_second
			execute turn_on_light;
	];
];