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