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