/*
#progos: linux
*/
#include <unistd.h>
#include <errno.h>
#include <stdio.h>
#include <stdlib.h>
int main (int argc, char *argv[])
{
if (getcwd ((void *) -1, 4096) != NULL
|| errno != EFAULT)
abort ();
printf ("pass\n");
exit (0);
}