The text 1f2f974eb505, as Debian 12 (Bookworm) shipped it.
Processor-native integers.
Nativeint(3o) on Linux now
