int isatty(int fd)
{
	return __VERIFIER_nondet_int();
}