Sample ABEL state machines
