Int32(3o) on Linux

The text 4507a79c8d49, as Debian 9 (Stretch) shipped it.

32-bit integers.

Int32(3o) on Linux now