BUG_RSLVD pseudo is OK