PRINCE: Fix warning
PRINCE: Fix const'ness
PRINCE: Fix variable sign
PRINCE: Fix mask sign