fsm demo Fri Aug 24 17:01:54 2001
input
output
Fri Aug 24 17:01:54 2001