32-bit stuff a la Mozilla