int isatty(int file) { return 1; }