32-bit executables