#include <stdlib.h>

char * ptsname(int fildes)
{
	return NULL;
}

/*
XOPEN(400)
*/