coreboot-kgpe-d16/util/romcc/tests/simple_test87.c

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