Added 32-bit encoding