fsm demo Fri Aug 24 17:27:55 2001
input
output
Fri Aug 24 17:27:55 2001