int fla() {
  while (0<x)
    ok
