fun foo() {
  do// COMPOSITE {
  val x: Int = 42
  // }  while (EQEQ(arg0 = x, arg1 = 42).not())
}
