// This file intentionally has a bug.  It is intended
// to be used with serialized-diagnostics.c to show
// how errors are handled with #includes in serialized
// diagnostics.
char *badStr = 1;