PRINCE: O_CHANGEHEROSET implementation