#include <stdio.h>

int main(int argc, char **argv) {
	char buf[20];
	snprintf(buf, sizeof buf, "%s", "foo");
	return 1;
}