int main(void) {

char *t0 = "FOO";
char * t0_equals_cst_that_begins_by_FOO;
char * t0_equals_cst_that_ends_by_FOO;
char * t0_equals_cst_that_contains_FOO;
char * t0_is_constant;
char *t1 = "BAR";
char * t1_equals_cst_that_doesn_t_contain_FOO;
char * t1_is_constant;
char *t2 = "FOOBAR";
char * t2_equals_cst_that_begins_by_FOO;
char * t2_equals_cst_that_contains_FOO;
char * t2_is_constant;
char *t3 = "BARFOOBAR";
char * t3_equals_cst_that_contains_FOO;
char * t3_is_constant;
char *t4 = "BARFOO";
char * t4_equals_cst_that_ends_by_FOO;
char * t4_equals_cst_that_contains_FOO;
char * t4_is_constant;
char *s0 = "%s";
char * s0_is_a_format_for_at_least_a_string;
char * s0_equals_cst_that_doesn_t_contain_FOO;
char * s0_is_constant;

}