#include <stdio.h>

int
main(int argc, char **argv)
{
	char buf[10];

	/* This expression can be folded. */
	sprintf(buf, "baz");

	return (1);
}