A small statechart library with a convenient definition interface