machine light_bulb
[
	states [ light_on , light_off ];
	events [ switch_state , turn_on , turn_off ];

	starting on light_off;

	transitions
	[
		from light_on to light_off on event switch_state execute light_switch();
		from light_off to light_on on event switch_state execute light_switch();

		from light_on to light_off on event turn_on execute light_switch();
		from light_off to light_on on event turn_off execute light_switch();
	];
];

transition light_switch()
{

}