Symbol: fsm_protreject