int fla() {
  do
    x--;
  while
