int fla() {
  do x();
