gen_fsm tested