1 #include <stdio.h>
2 
3 int main(int argc, char **argv) {
4 	char buf[20];
5 	snprintf(buf, sizeof buf, "%s", "foo");
6 	return 1;
7 }
8