/src/stdio/