/libc/stdio/