#include <stdio.h>

int
main(int argc, char **argv)
{
	printf("NULL prints as \"%s\"\n", (char *) NULL);
	return 0;
}