PRINCE: O_WALKHERO, walkTo() update