int fla() {
  for (;0<x;)
    ok
