package <empty> {
  abstract class A extends java.lang.Object with ScalaObject {                                                                            def parseCharRef(ch: Function0, nextch: Function0, reportSyntaxError: Function1): java.lang.String = {
      while$1(){
        if (ch.apply$mcC$sp().!=(\';\'))
          {
            {
              {                                                                                                                                       <synthetic> val temp1: Char = ch.apply$mcC$sp();
                (temp1.toInt(): Int) match {
                  case 97 => {                                                                                                                            {
                      body%01(){
                        reportSyntaxError.apply("plop");                                                                                                      ()
                      }
                    };                                                                                                                                    scala.runtime.BoxedUnit.UNIT
                  }
                  case 98 => {
                    {
                      body%01()
                    };                                                                                                                                    scala.runtime.BoxedUnit.UNIT
                  }
                  case _ => {                                                                                                                             reportSyntaxError.apply("plip")
                  }
                }                                                                                                                                   };
              nextch.apply$mcV$sp()
            };                                                                                                                                    while$1()
          }
        else                                                                                                                                    ()
      };
      "plop"
    };