Int32(3o) on Linux

The text 41d3fdea4e5b, as Debian 11 (Bullseye) shipped it.

32-bit integers.

Int32(3o) on Linux now