int fla() {
  if (0<x)
    x = 0;
  ok
