fsm demo Mon Aug 20 07:24:49 2001
input
output
Mon Aug 20 07:24:49 2001