fsm demo Mon Aug 20 09:33:36 2001
input
output
Mon Aug 20 09:33:36 2001
