char *x;

int main ( void )
{
char *s = NULL;
  x = (char*) malloc(1);
return 0;
}