PROCEDURE Ror* (x, n: INTEGER): INTEGER;
BEGIN
   ASSERT((0 <= n) & (n <= 31));
   WHILE n > 0 DO
      IF ODD(x) THEN x := ASH(x, -1); IF x >= 0 THEN INC(x, MIN(INTEGER)) END
      ELSE x := ASH(x, -1); IF x < 0 THEN DEC(x, MIN(INTEGER)) END
      END;
      DEC(n)
   END;
   RETURN x
END Ror;

n := n MOD 0b100000;
SYSTEM.VAL( INT32, SYSTEM.VAL( SET32, LSH( x, 32 - n )) + SYSTEM.VAL( SET32, LSH( x, -n )));

#define __ROTL(x, n, t) ((t)((__U_##t)(x)<<(n)|(__U_##t)(x)>>(8*sizeof(t)-(n))))
#define __ROTR(x, n, t) ((t)((__U_##t)(x)>>(n)|(__U_##t)(x)<<(8*sizeof(t)-(n))))
#define __ROT(x, n, t)  ((n)>=0? __ROTL(x, n, t): __ROTR(x, -(n), t))

PROCEDURE RorLong* (x: LONGINT; n: INTEGER): LONGINT;
   VAR r: INTEGER; xr: LONGINT;
BEGIN
   ASSERT((0 <= n) & (n <= 63));
   xr := x; r := n;
   IF (xr < 0) & (r > 0) THEN xr := ASH(xr, -1) - MIN(LONGINT); DEC(r) END;
   RETURN ASH(xr, -r) + ASH(x, 64 - n)
END RorLong;