#include <stdio.h>

int main(void) {
	char * string = "%4x_foo", tmpstr[100];
	int n = sprintf(tmpstr,string,1);
	printf("%d",n+1);
	return 0;
}