[brucehoult]

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