scanf(3) on Linux

The text 943c92c951fe, as Debian 1.3 (Bo) shipped it.

input format conversion

scanf(3) on Linux now