#include <stdio.h>

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