static void main(void)
{
	char *x = "";
}