kern/102424: [libc] printf(3) prints ill result.

[David Schultz]

Is this still a problem with a more recent gcc, e.g. the one in
7.0? I ran your test on a machine running HEAD and could not
reproduce the bug.