fsm demo Mon Sep 10 11:52:01 2001
input
output
Mon Sep 10 11:52:01 2001
