PRINCE: O_PUSHSTRING, O_POPSTRING