[fulafel]

Nitpick: printf is is a libc call.

[brucehoult]

... and that libc code (usually NewLib[nano]) formats a buffer then calls write(2), which pk provides.