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