fsm demo Fri Aug 24 13:48:00 2001
input
output
Fri Aug 24 13:48:00 2001
