int main(void) { int t0 = FOO; int t0_equals_cst_that_begins_by_FOO; int t0_equals_cst_that_ends_by_FOO; int t0_equals_cst_that_contains_FOO; int t0_is_constant; int t1 = BAR; int t1_equals_cst_that_doesn_t_contain_FOO; int t1_is_constant; int t2 = FOOBAR; int t2_equals_cst_that_begins_by_FOO; int t2_equals_cst_that_contains_FOO; int t2_is_constant; int t3 = BARFOOBAR; int t3_equals_cst_that_contains_FOO; int t3_is_constant; int t4 = BARFOO; int t4_equals_cst_that_ends_by_FOO; int t4_equals_cst_that_contains_FOO; int t4_is_constant; }