error: Print 32- and 64-bit integers portably (Bug#8435).