libc/port/stdio
