The text 7e1f909d6c51, as Debian 9 (Stretch) shipped it.
<stdint.h>: Standard Integer Types
UINT_FAST64_MAX(3avr) on Linux now
