printf(1) on FreeBSD

The text 9de7ed1e98d1, as FreeBSD 12.2-RELEASE shipped it.

formatted output

printf(1) on FreeBSD now