Int32(3o) on Linux

The text cc75e0b9508f, as Debian 3.1 (Sarge) shipped it.

32-bit integers.

Int32(3o) on Linux now