fsm demo Sun Aug 19 15:30:47 2001
input
output
Sun Aug 19 15:30:47 2001