class Foo { void m1() { int x; do { x = 1; } while (true); } }