vsfsm_top should be a state, not a handler