exit (check ("stdin", stdin, STDIN_FILENO) || check ("stdout", stdout, STDOUT_FILENO) || check ("stderr", stderr, STDERR_FILENO));
return (check ("stdin", stdin, STDIN_FILENO) || check ("stdout", stdout, STDOUT_FILENO) || check ("stderr", stderr, STDERR_FILENO));
main (void){  exit (check ("stdin", stdin, STDIN_FILENO) ||	check ("stdout", stdout, STDOUT_FILENO) ||	check ("stderr", stderr, STDERR_FILENO));}