This module provides an implementation of ROTATE-BYTE, described at . Its inclusion is hoped to achieve two aims: (1) to provide the necessary functionality for implementations of cryptographic and hashing algorithms (e.g. MD5); (2) to provide an example of the things that can be achieved by using the external but unsupported interfaces to the compiler. Included in the module as of 2003-02-11 is an efficient implementation of unsigned 32-bit rotation for the x86; when the compiler can prove that the rotation in question is of an (UNSIGNED-BYTE 32) over the byte specifier (BYTE 32 0), it will compile directly to machine rotation instructions. Patches for similar functionality on other platforms are welcome.