int fla() {
  do x();
  while
