/passes/fsm/