
# 1 "<stdin>"

do { _foo_X (); } while (/* CONSTCOND */0);


do { _foo_Y (); } while (/* CONSTCOND */0);


do { _foo_(); } while (/* CONSTCOND */0);




(111 /*LINTED*/ FIRST 111);
(222 SECOND /*LINTED*/ 222);
(111 /*LINTED*/ (222 THIRD /*LINTED*/ 222) 111);
(222 (111 /*LINTED*/ FOURTH 111) /*LINTED*/ 222);
