0b44a031
1 2 3 4 5 6
#include "stdio_impl.h" int __stdio_close(FILE *f) { return __syscall_close(f->fd); }