machine A
[
	states [ A ];
	events [ A ];
	starting on A;
	transitions
	[
		from A to A on event A given (B.C && !C.D)
			execute eke;
	];
];