a 32-bit operating system