The text f8dd7e063ffa, as Debian 13 (Trixie) shipped it.
input FILE format conversion
scanf(3) on Linux now
