#include "stdio_impl.h" #include int __stdio_close(FILE* f) { return close(f->fd); }