machine A
[
	states [ A ];
	events [ A ];
	starting on A;
	transitions
	[
		from A to A on event A
			if (A.A && !A.A)
				execute eke;
			else
				execute asdf;
	];
];