int tcount;
void test(char *, const char*, int);
void foo() {
	char Buf[10];
	test(Buf, "n%%%d", tcount++);
}