_thread_sys_fcntl(i,F_GETFL, NULL)) == -1)

		    _thread_sys_fcntl(i,F_GETFL, NULL)) == -1 && errno != EBADF) {

			PANIC("Cannot get stdio flags");

			const char *panics[] = {

			    "Cannot initialize " "stdin" " file descriptor "

				"table entry",

			    "Cannot initialize " "stdout" " file descriptor "

				"table entry",

			    "Cannot initialize " "stderr" " file descriptor "

				"table entry"

			};

			PANIC(panics[i]);

		}