#include int pclose(FILE *s) { return fclose(s); }