fsm demo Tue Aug 21 15:58:46 2001
input
output
Tue Aug 21 15:58:46 2001