The text 41e5a6ab824a, as Debian 11 (Bullseye) shipped it.
<stdint.h>: Standard Integer Types
UINT_FAST64_MAX(3avr) on Linux now
