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