fsm demo Sun Aug 19 15:29:43 2001
input
output
Sun Aug 19 15:29:43 2001