english only
EPFL > I&C > Tresor >
RESOURCES
Home
People
Seminars
Courses
Research Topics
Events
Useful Links

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

acl2_demo_session_file [2011/06/09 12:34] (current)
vkuncak created
Line 1: Line 1:
 +<code lisp>
  
 +ACL2 >(cons 1 (cons 2 (cons 3 nil)))
 +(1 2 3)
 +ACL2 >(car (cons 1 (cons 2 (cons 3 nil))))
 +1
 +ACL2 >(cdr (cons 1 (cons 2 (cons 3 nil))))
 +(2 3)
 +ACL2 >(defun ap (x y)
 +         (if (endp x)
 +             y
 +             (cons (car x)
 +                   (ap (cdr x) y))))
 +
 +The admission of AP is trivial, using the relation O<
 +(which is known to be well-founded on the domain recognized
 +by O-P) and the measure (ACL2-COUNT X).  We observe
 +that the type of AP is described by the theorem ​
 +(OR (CONSP (AP X Y)) (EQUAL (AP X Y) Y)).  We used primitive
 +type reasoning.
 +
 +Summary
 +Form:  ( DEFUN AP ...)
 +Rules: ((:​FAKE-RUNE-FOR-TYPE-SET NIL))
 +Time:  0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
 + AP
 +ACL2 >(ap '(1 2 3) '(4 5 6))
 +(1 2 3 4 5 6)
 +ACL2 >(ap '(a b c) '(d e f))
 +(A B C D E F)
 +ACL2 >(defthm ap-is-associative
 +         ​(equal (ap (ap a b) c)
 +                (ap a (ap b c))))
 +
 +*1 (the initial Goal, a key checkpoint) is pushed for
 +proof by induction.
 +
 +Perhaps we can prove *1 by induction. ​ Three induction
 +schemes are suggested by this conjecture. ​ Subsumption
 +reduces that number to two.  However, one of these is
 +flawed and so we are left with one viable candidate.
 +
 +We will induct according to a scheme suggested by (AP A B).
 +This suggestion was produced using the :induction rule
 +AP.  If we let (:P A B C) denote *1 above then the induction
 +scheme we'll use is
 +(AND (IMPLIES (AND (NOT (ENDP A)) (:P (CDR A) B C))
 +              (:P A B C))
 +     ​(IMPLIES (ENDP A) (:P A B C))).
 +This induction is justified by the same argument used
 +to admit AP.  When applied to the goal at hand the above
 +induction scheme produces two nontautological subgoals.
 +Subgoal *1/2
 +Subgoal *1/2'
 +Subgoal *1/1
 +Subgoal *1/1'
 +
 +*1 is COMPLETED!
 +Thus key checkpoint Goal is COMPLETED!
 +
 +Q.E.D.
 +
 +Summary
 +Form:  ( DEFTHM AP-IS-ASSOCIATIVE ...)
 +Rules: ((:​DEFINITION AP)
 +        (:​DEFINITION ENDP)
 +        (:​DEFINITION NOT)
 +        (:​FAKE-RUNE-FOR-TYPE-SET NIL)
 +        (:INDUCTION AP)
 +        (:REWRITE CAR-CONS)
 +        (:REWRITE CDR-CONS))
 +Time:  0.01 seconds (prove: 0.00, print: 0.00, other: 0.00)
 + ​AP-IS-ASSOCIATIVE
 +ACL2 >​(set-gag-mode :goals)
 +<​state>​
 +ACL2 >(defun insert (e x)
 +       (if (endp x)
 +           (cons e x)
 +           (if (lexorder e (car x))
 +               (cons e x)
 +               (cons (car x)
 +                     ​(insert e (cdr x))))))
 +
 +The admission of INSERT is trivial, using the relation
 +O< (which is known to be well-founded on the domain
 +recognized by O-P) and the measure (ACL2-COUNT X). 
 +We observe that the type of INSERT is described by the
 +theorem (CONSP (INSERT E X)).  We used primitive type
 +reasoning.
 +
 +Summary
 +Form:  ( DEFUN INSERT ...)
 +Rules: ((:​FAKE-RUNE-FOR-TYPE-SET NIL))
 +Time:  0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
 + ​INSERT
 +ACL2 >(insert 3 '(1 2 4 5))
 +(1 2 3 4 5)
 +ACL2 >(insert 'bravo '​(alpha charlie dog))
 +(ALPHA BRAVO CHARLIE DOG)
 +ACL2 >(defun isort (x)
 +       (if (endp x)
 +           x
 +           ​(insert (car x)
 +                   ​(isort (cdr x)))))
 +
 +The admission of ISORT is trivial, using the relation
 +O< (which is known to be well-founded on the domain
 +recognized by O-P) and the measure (ACL2-COUNT X). 
 +We could deduce no constraints on the type of ISORT.
 +
 +Summary
 +Form:  ( DEFUN ISORT ...)
 +Rules: NIL
 +Time:  0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
 + ISORT
 +ACL2 >(isort '​(charlie alpha dog bravo))
 +(ALPHA BRAVO CHARLIE DOG)
 +ACL2 >(isort '(5 1 3 2 4))
 +(1 2 3 4 5)
 +ACL2 >(defun orderedp (x)
 +       (if (endp x)
 +           t
 +           (if (endp (cdr x))
 +               t
 +               (and (lexorder (car x) (car (cdr x)))
 +                    (orderedp (cdr x))))))
 +
 +The admission of ORDEREDP is trivial, using the relation
 +O< (which is known to be well-founded on the domain
 +recognized by O-P) and the measure (ACL2-COUNT X). 
 +We observe that the type of ORDEREDP is described by
 +the theorem ​
 +(OR (EQUAL (ORDEREDP X) T) (EQUAL (ORDEREDP X) NIL)).
 +
 +Summary
 +Form:  ( DEFUN ORDEREDP ...)
 +Rules: NIL
 +Time:  0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
 + ​ORDEREDP
 +ACL2 >​(orderedp '(1 2 3 3 4 5))
 +T
 +ACL2 >​(orderedp '(1 2 3 4 3 5))
 +NIL
 +ACL2 >(defthm orderedp-isort
 +       ​(orderedp (isort x)))
 +
 +*1 (the initial Goal, a key checkpoint) is pushed for
 +proof by induction.
 +
 +Perhaps we can prove *1 by induction. ​ One induction
 +scheme is suggested by this conjecture.  ​
 +
 +We will induct according to a scheme suggested by (ISORT X).
 +This suggestion was produced using the :induction rule
 +ISORT. ​ If we let (:P X) denote *1 above then the induction
 +scheme we'll use is
 +(AND (IMPLIES (AND (NOT (ENDP X)) (:P (CDR X)))
 +              (:P X))
 +     ​(IMPLIES (ENDP X) (:P X))).
 +This induction is justified by the same argument used
 +to admit ISORT. ​ When applied to the goal at hand the
 +above induction scheme produces two nontautological
 +subgoals.
 +Subgoal *1/2
 +Subgoal *1/2'
 +Subgoal *1/​2''​
 +Subgoal *1/​2'''​
 +Subgoal *1/​2'​4'​
 +Subgoal *1/​2'​5'​
 +
 +([ A key checkpoint while proving *1 (descended from
 +Goal):
 +
 +Subgoal *1/​2''​
 +(IMPLIES (AND (CONSP X)
 +              (ORDEREDP (ISORT (CDR X))))
 +         ​(ORDEREDP (INSERT (CAR X) (ISORT (CDR X)))))
 +
 +*1.1 (Subgoal *1/​2'​5'​) is pushed for proof by induction.
 +
 +])
 +Subgoal *1/1
 +Subgoal *1/1'
 +
 +So we now return to *1.1, which is
 +
 +(IMPLIES (ORDEREDP IT)
 +         ​(ORDEREDP (INSERT X1 IT))).
 +Subgoal *1.1/4
 +Subgoal *1.1/​4'​
 +Subgoal *1.1/4.2
 +Subgoal *1.1/4.1
 +Subgoal *1.1/4.1.2
 +Subgoal *1.1/4.1.1
 +Subgoal *1.1/3
 +Subgoal *1.1/​3'​
 +Subgoal *1.1/3.2
 +Subgoal *1.1/3.1
 +Subgoal *1.1/2
 +Subgoal *1.1/​2'​
 +Subgoal *1.1/1
 +Subgoal *1.1/​1'​
 +
 +*1.1 and *1 are COMPLETED!
 +Thus key checkpoints Subgoal *1/​2''​ and Goal are COMPLETED!
 +
 +Q.E.D.
 +
 +The storage of ORDEREDP-ISORT depends upon the :type-
 +prescription rule ORDEREDP.
 +
 +Summary
 +Form:  ( DEFTHM ORDEREDP-ISORT ...)
 +Rules: ((:​DEFINITION ENDP)
 +        (:​DEFINITION INSERT)
 +        (:​DEFINITION ISORT)
 +        (:​DEFINITION NOT)
 +        (:​DEFINITION ORDEREDP)
 +        (:ELIM CAR-CDR-ELIM)
 +        (:​FAKE-RUNE-FOR-TYPE-SET NIL)
 +        (:​FORWARD-CHAINING LEXORDER-TOTAL)
 +        (:INDUCTION INSERT)
 +        (:INDUCTION ISORT)
 +        (:INDUCTION ORDEREDP)
 +        (:REWRITE CAR-CONS)
 +        (:REWRITE CDR-CONS)
 +        (:REWRITE DEFAULT-CAR)
 +        (:REWRITE LEXORDER-REFLEXIVE)
 +        (:REWRITE LEXORDER-TRANSITIVE)
 +        (:​TYPE-PRESCRIPTION INSERT)
 +        (:​TYPE-PRESCRIPTION LEXORDER)
 +        (:​TYPE-PRESCRIPTION ORDEREDP))
 +Time:  0.04 seconds (prove: 0.03, print: 0.00, other: 0.00)
 + ​ORDEREDP-ISORT
 +ACL2 >(defun fast-sort (x)
 +       ​(declare (ignore x))
 +        '(1 2 3 4))
 +
 +Since FAST-SORT is non-recursive,​ its admission is trivial.
 +We observe that the type of FAST-SORT is described by
 +the theorem ​
 +(AND (CONSP (FAST-SORT X)) (TRUE-LISTP (FAST-SORT X))).
 +
 +Summary
 +Form:  ( DEFUN FAST-SORT ...)
 +Rules: NIL
 +Time:  0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
 + ​FAST-SORT
 +ACL2 >​(fast-sort '(4 3 2 1))
 +(1 2 3 4)
 +ACL2 >​(fast-sort '(3 2 1 4))
 +(1 2 3 4)
 +ACL2 >​(fast-sort '(3 4 5 6 7))
 +(1 2 3 4)
 +ACL2 >(defthm fast-sort-is-ordered
 +       ​(orderedp (fast-sort x)))
 +
 +ACL2 Warning [Non-rec] in ( DEFTHM FAST-SORT-IS-ORDERED
 +...):  A :REWRITE rule generated from FAST-SORT-IS-ORDERED
 +will be triggered only by terms containing the non-
 +recursive function symbol FAST-SORT. ​ Unless this function
 +is disabled, this rule is unlikely ever to be used.
 +
 +
 +Q.E.D.
 +
 +The storage of FAST-SORT-IS-ORDERED depends upon the
 +:​type-prescription rule ORDEREDP.
 +
 +Summary
 +Form:  ( DEFTHM FAST-SORT-IS-ORDERED ...)
 +Rules: ((:​DEFINITION FAST-SORT)
 +        (:​EXECUTABLE-COUNTERPART ORDEREDP)
 +        (:​TYPE-PRESCRIPTION ORDEREDP))
 +Warnings: ​ Non-rec
 +Time:  0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
 + ​FAST-SORT-IS-ORDERED
 +ACL2 >​(include-book "/​u/​moore/​perm"​)
 +
 +Summary
 +Form:  ( INCLUDE-BOOK "/​u/​moore/​perm"​ ...)
 +Rules: NIL
 +Time:  0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
 + "/​Users/​moore/​perm.lisp"​
 +ACL2 >(pe 'perm)
 +          9:​x(INCLUDE-BOOK "/​u/​moore/​perm"​)
 +             \
 +             ​[Included books, outermost to innermost:
 +              "/​Users/​moore/​perm.lisp"​
 +             ]
 +             \
 +>L            (DEFUN PERM (X Y)
 +                     (IF (CONSP X)
 +                         (AND (MEMB (CAR X) Y)
 +                              (PERM (CDR X) (RM (CAR X) Y)))
 +                         (NOT (CONSP Y))))
 +ACL2 >(perm '(1 2 3) '(3 1 2))
 +T
 +ACL2 >(perm '(1 2 3) '(1 3 4))
 +NIL
 +ACL2 >(defthm perm-isort
 +       (perm (isort x) x))
 +
 +ACL2 Warning [Double-rewrite] in ( DEFTHM PERM-ISORT
 +...):  In a :REWRITE rule generated from PERM-ISORT,
 +equivalence relation PERM is maintained at one problematic
 +occurrence of variable X in the right-hand side, but
 +not at any binding occurrence of X.  Consider replacing
 +that occurrence of X in the right-hand side with 
 +(DOUBLE-REWRITE X).  See :doc double-rewrite for more
 +information on this issue.
 +
 +
 +*1 (the initial Goal, a key checkpoint) is pushed for
 +proof by induction.
 +
 +Perhaps we can prove *1 by induction. ​ One induction
 +scheme is suggested by this conjecture.  ​
 +
 +We will induct according to a scheme suggested by (ISORT X).
 +This suggestion was produced using the :induction rule
 +ISORT. ​ If we let (:P X) denote *1 above then the induction
 +scheme we'll use is
 +(AND (IMPLIES (AND (NOT (ENDP X)) (:P (CDR X)))
 +              (:P X))
 +     ​(IMPLIES (ENDP X) (:P X))).
 +This induction is justified by the same argument used
 +to admit ISORT. ​ When applied to the goal at hand the
 +above induction scheme produces two nontautological
 +subgoals.
 +Subgoal *1/2
 +Subgoal *1/2'
 +Subgoal *1/​2''​
 +Subgoal *1/​2'''​
 +Subgoal *1/​2'​4'​
 +Subgoal *1/​2'​5'​
 +
 +([ A key checkpoint while proving *1 (descended from
 +Goal):
 +
 +Subgoal *1/​2''​
 +(IMPLIES (AND (CONSP X)
 +              (PERM (ISORT (CDR X)) (CDR X)))
 +         (PERM (INSERT (CAR X) (ISORT (CDR X)))
 +               X))
 +
 +*1.1 (Subgoal *1/​2'​5'​) is pushed for proof by induction.
 +
 +])
 +Subgoal *1/1
 +Subgoal *1/1'
 +
 +So we now return to *1.1, which is
 +
 +(IMPLIES (PERM IT X2)
 +         (PERM (INSERT X1 IT) (CONS X1 X2))).
 +Subgoal *1.1/4
 +Subgoal *1.1/​4'​
 +Subgoal *1.1/4.2
 +Subgoal *1.1/4.1
 +Subgoal *1.1/3
 +Subgoal *1.1/​3'​
 +Subgoal *1.1/2
 +Subgoal *1.1/​2'​
 +Subgoal *1.1/1
 +Subgoal *1.1/​1'​
 +
 +*1.1 and *1 are COMPLETED!
 +Thus key checkpoints Subgoal *1/​2''​ and Goal are COMPLETED!
 +
 +Q.E.D.
 +
 +Summary
 +Form:  ( DEFTHM PERM-ISORT ...)
 +Rules: ((:​DEFINITION ENDP)
 +        (:​DEFINITION INSERT)
 +        (:​DEFINITION ISORT)
 +        (:​DEFINITION MEMB)
 +        (:​DEFINITION NOT)
 +        (:​DEFINITION PERM)
 +        (:​DEFINITION RM)
 +        (:ELIM CAR-CDR-ELIM)
 +        (:​EQUIVALENCE PERM-IS-AN-EQUIVALENCE)
 +        (:​FAKE-RUNE-FOR-TYPE-SET NIL)
 +        (:​FORWARD-CHAINING LEXORDER-TOTAL)
 +        (:INDUCTION INSERT)
 +        (:INDUCTION ISORT)
 +        (:INDUCTION PERM)
 +        (:REWRITE CAR-CONS)
 +        (:REWRITE CDR-CONS)
 +        (:REWRITE LEXORDER-REFLEXIVE)
 +        (:REWRITE LEXORDER-TRANSITIVE)
 +        (:​TYPE-PRESCRIPTION LEXORDER)
 +        (:​TYPE-PRESCRIPTION MEMB))
 +Warnings: ​ Double-rewrite
 +Time:  0.09 seconds (prove: 0.08, print: 0.00, other: 0.00)
 + ​PERM-ISORT
 +ACL2 >(defthm perm-fast-sort
 +       (perm (fast-sort x) x))
 +
 +ACL2 Warning [Double-rewrite] in ( DEFTHM PERM-FAST-SORT
 +...):  In a :REWRITE rule generated from PERM-FAST-SORT,​
 +equivalence relation PERM is maintained at one problematic
 +occurrence of variable X in the right-hand side, but
 +not at any binding occurrence of X.  Consider replacing
 +that occurrence of X in the right-hand side with 
 +(DOUBLE-REWRITE X).  See :doc double-rewrite for more
 +information on this issue.
 +
 +
 +ACL2 Warning [Non-rec] in ( DEFTHM PERM-FAST-SORT ...):
 +A :REWRITE rule generated from PERM-FAST-SORT will be
 +triggered only by terms containing the non-recursive
 +function symbol FAST-SORT. ​ Unless this function is
 +disabled, this rule is unlikely ever to be used.
 +
 +
 +ACL2 Warning [Subsume] in ( DEFTHM PERM-FAST-SORT ...):
 +The previously added rule FAST-SORT subsumes a newly
 +proposed :REWRITE rule generated from PERM-FAST-SORT,​
 +in the sense that the old rule rewrites a more general
 +target. ​ Because the new rule will be tried first, it
 +may nonetheless find application.
 +
 +Goal'
 +Subgoal 5
 +
 +([ A key checkpoint:
 +
 +Subgoal 5
 +(MEMB 1 X)
 +
 +*1 (Subgoal 5) is pushed for proof by induction.
 +
 +])
 +Subgoal 4
 +
 +([ A key checkpoint:
 +
 +Subgoal 4
 +(NOT (CONSP (RM 4 (RM 3 (RM 2 (RM 1 X))))))
 +
 +Normally we would attempt to prove Subgoal 4 by induction.
 +However, we prefer in this instance to focus on the
 +original input conjecture rather than this simplified
 +special case.  We therefore abandon our previous work
 +on this conjecture and reassign the name *1 to the original
 +conjecture. ​ (See :DOC otf-flg.)
 +
 +])
 +
 +No induction schemes are suggested by *1.  Consequently,​
 +the proof attempt has failed.
 +
 +Summary
 +Form:  ( DEFTHM PERM-FAST-SORT ...)
 +Rules: ((:​DEFINITION FAST-SORT)
 +        (:​DEFINITION PERM)
 +        (:​EXECUTABLE-COUNTERPART CAR)
 +        (:​EXECUTABLE-COUNTERPART CDR)
 +        (:​EXECUTABLE-COUNTERPART CONSP))
 +Warnings: ​ Subsume, Non-rec and Double-rewrite
 +Time:  0.03 seconds (prove: 0.03, print: 0.00, other: 0.00)
 +
 +---
 +The key checkpoint goals, below, may help you to debug
 +this failure. ​ See :DOC failure and see :DOC set-checkpoint-
 +summary-limit.
 +---
 +
 +*** Key checkpoints before reverting to proof by induction:
 +***
 +
 +Subgoal 5
 +(MEMB 1 X)
 +
 +Subgoal 4
 +(NOT (CONSP (RM 4 (RM 3 (RM 2 (RM 1 X))))))
 +
 +ACL2 Error in ( DEFTHM PERM-FAST-SORT ...):  See :DOC
 +failure.
 +
 +******** FAILED ********
 +ACL2 >(quote (end of Demo 1))
 +(END OF DEMO 1)
 +ACL2 >​(in-package "​M6"​)
 + "​M6"​
 +M6 >(show *s*)
 +(STATE
 + 0 0 (HEAP)
 + ​(THREAD-TABLE)
 + NIL
 + (ENV
 +  (EXTERNAL-CLASS-TABLE
 +   ​(CLASS
 +    "​java.lang.ArithmeticException"​
 +    "​java.lang.RuntimeException"​
 +    (JVM::​CONSTANT_POOL)
 +    (FIELDS)
 +    (METHODS
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 5)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(INVOKESPECIAL
 +          (METHODCP "<​init>"​
 +                    "​java.lang.RuntimeException"​ NIL VOID)))
 +        (4 (RETURN))
 +        (ENDOFCODE 5))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 6)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (ALOAD_1))
 +        (2
 +         ​(INVOKESPECIAL
 +             ​(METHODCP "<​init>"​ "​java.lang.RuntimeException"​
 +                       ​((CLASS "​java.lang.String"​))
 +                       ​VOID)))
 +        (5 (RETURN))
 +        (ENDOFCODE 6))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP))))
 +    (INTERFACES)
 +    (ACCESSFLAGS *CLASS*
 +                 ​*PUBLIC* *SUPER* *SYNCHRONIZED*))
 +   ​(CLASS
 +    "​java.lang.RuntimeException"​
 +    "​java.lang.Exception"​
 +    (JVM::​CONSTANT_POOL)
 +    (FIELDS)
 +    (METHODS
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 5)
 +       ​(PARSEDCODE
 +         (0 (ALOAD_0))
 +         (1 (INVOKESPECIAL
 +                 ​(METHODCP "<​init>"​
 +                           "​java.lang.Exception"​ NIL VOID)))
 +         (4 (RETURN))
 +         ​(ENDOFCODE 5))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 6)
 +       ​(PARSEDCODE
 +            (0 (ALOAD_0))
 +            (1 (ALOAD_1))
 +            (2 (INVOKESPECIAL
 +                    (METHODCP "<​init>"​ "​java.lang.Exception"​
 +                              ((CLASS "​java.lang.String"​))
 +                              VOID)))
 +            (5 (RETURN))
 +            (ENDOFCODE 6))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP))))
 +    (INTERFACES)
 +    (ACCESSFLAGS *CLASS*
 +                 ​*PUBLIC* *SUPER* *SYNCHRONIZED*))
 +   ​(CLASS
 +    "​java.lang.Exception"​
 +    "​java.lang.Throwable"​
 +    (JVM::​CONSTANT_POOL)
 +    (FIELDS)
 +    (METHODS
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 5)
 +       ​(PARSEDCODE
 +         (0 (ALOAD_0))
 +         (1 (INVOKESPECIAL
 +                 ​(METHODCP "<​init>"​
 +                           "​java.lang.Throwable"​ NIL VOID)))
 +         (4 (RETURN))
 +         ​(ENDOFCODE 5))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 6)
 +       ​(PARSEDCODE
 +            (0 (ALOAD_0))
 +            (1 (ALOAD_1))
 +            (2 (INVOKESPECIAL
 +                    (METHODCP "<​init>"​ "​java.lang.Throwable"​
 +                              ((CLASS "​java.lang.String"​))
 +                              VOID)))
 +            (5 (RETURN))
 +            (ENDOFCODE 6))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP))))
 +    (INTERFACES)
 +    (ACCESSFLAGS *CLASS*
 +                 ​*PUBLIC* *SUPER* *SYNCHRONIZED*))
 +   ​(CLASS
 +    "​java.lang.Throwable"​ "​java.lang.Object"​
 +    (JVM::​CONSTANT_POOL (STRING ": "))
 +    (FIELDS
 +     ​(FIELD "​detailMessage"​
 +            (CLASS "​java.lang.String"​)
 +            (ACCESSFLAGS *CLASS* *PRIVATE*)
 +            -1)
 +     ​(FIELD "​backtrace"​ (CLASS "​java.lang.Object"​)
 +            (ACCESSFLAGS *CLASS* *PRIVATE* JVM::​*TRANSIENT*)
 +            -1))
 +    (METHODS
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 5)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(INVOKESPECIAL
 +           ​(METHODCP "<​init>"​ "​java.lang.Object"​ NIL VOID)))
 +        (4 (RETURN))
 +        (ENDOFCODE 5))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 10)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(INVOKESPECIAL
 +           ​(METHODCP "<​init>"​ "​java.lang.Object"​ NIL VOID)))
 +        (4 (ALOAD_0))
 +        (5 (ALOAD_1))
 +        (6 (PUTFIELD
 +                (JVM::​FIELDCP
 +                     "​detailMessage"​ "​java.lang.Throwable"​
 +                     ​(CLASS "​java.lang.String"​))))
 +        (9 (RETURN))
 +        (ENDOFCODE 10))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​getMessage"​ (PARAMETERS)
 +      (RETURNTYPE (CLASS "​java.lang.String"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 5)
 +       ​(PARSEDCODE
 +          (0 (ALOAD_0))
 +          (1 (GETFIELD
 +                  (JVM::​FIELDCP
 +                       "​detailMessage"​ "​java.lang.Throwable"​
 +                       ​(CLASS "​java.lang.String"​))))
 +          (4 (ARETURN))
 +          (ENDOFCODE 5))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​toString"​ (PARAMETERS)
 +      (RETURNTYPE (CLASS "​java.lang.String"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 3)
 +       ​(CODE_LENGTH 45)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (INVOKEVIRTUAL
 +                (METHODCP "​getClass"​ "​java.lang.Object"​
 +                          NIL (CLASS "​java.lang.Class"​))))
 +        (4 (INVOKEVIRTUAL
 +                (METHODCP "​getName"​ "​java.lang.Class"​
 +                          NIL (CLASS "​java.lang.String"​))))
 +        (7 (ASTORE_1))
 +        (8 (ALOAD_0))
 +        (9 (INVOKEVIRTUAL
 +                (METHODCP "​getMessage"​ "​java.lang.Throwable"​
 +                          NIL (CLASS "​java.lang.String"​))))
 +        (12 (ASTORE_2))
 +        (13 (ALOAD_2))
 +        (14 (IFNULL 43))
 +        (17 (NEW (CLASS "​java.lang.StringBuffer"​)))
 +        (20 (DUP))
 +        (21
 +         ​(INVOKESPECIAL
 +              (METHODCP "<​init>"​
 +                        "​java.lang.StringBuffer"​ NIL VOID)))
 +        (24 (ALOAD_1))
 +        (25
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​append"​ "​java.lang.StringBuffer"​
 +                         ​((CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (28 (LDC 0))
 +        (30
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​append"​ "​java.lang.StringBuffer"​
 +                         ​((CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (33 (ALOAD_2))
 +        (34
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​append"​ "​java.lang.StringBuffer"​
 +                         ​((CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (37
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​toString"​ "​java.lang.StringBuffer"​
 +                         NIL (CLASS "​java.lang.String"​))))
 +        (40 (GOTO 44))
 +        (43 (ALOAD_1))
 +        (44 (ARETURN))
 +        (ENDOFCODE 45))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +            (43 (FRAME (LOCALS (CLASS "​java.lang.Throwable"​)
 +                               ​(CLASS "​java.lang.String"​)
 +                               ​(CLASS "​java.lang.String"​))
 +                       ​(STACK)
 +                       NIL))
 +            (44 (FRAME (LOCALS (CLASS "​java.lang.Throwable"​)
 +                               ​(CLASS "​java.lang.String"​)
 +                               ​(CLASS "​java.lang.String"​))
 +                       ​(STACK (CLASS "​java.lang.String"​))
 +                       ​NIL)))))
 +     ​(METHOD
 +      "​printStackTrace"​ (PARAMETERS)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 3)
 +       ​(CODE_LENGTH 57)
 +       ​(PARSEDCODE
 +        (0
 +         ​(GETSTATIC
 +              (JVM::​FIELDCP "​err"​ "​java.lang.System"​
 +                            (CLASS "​java.io.PrintStream"​))))
 +        (3 (ASTORE_1))
 +        (4 (ALOAD_0))
 +        (5 (INVOKEVIRTUAL
 +                (METHODCP "​getMessage"​ "​java.lang.Throwable"​
 +                          NIL (CLASS "​java.lang.String"​))))
 +        (8 (ASTORE_2))
 +        (9 (ALOAD_1))
 +        (10 (ALOAD_0))
 +        (11 (INVOKEVIRTUAL
 +                 ​(METHODCP "​getClass"​ "​java.lang.Object"​
 +                           NIL (CLASS "​java.lang.Class"​))))
 +        (14 (INVOKEVIRTUAL
 +                 ​(METHODCP "​getName"​ "​java.lang.Class"​
 +                           NIL (CLASS "​java.lang.String"​))))
 +        (17 (INVOKEVIRTUAL
 +                 ​(METHODCP "​print"​ "​java.io.PrintStream"​
 +                           ​((CLASS "​java.lang.String"​))
 +                           ​VOID)))
 +        (20 (ALOAD_2))
 +        (21 (IFNULL 38))
 +        (24 (ALOAD_1))
 +        (25 (LDC 0))
 +        (27 (INVOKEVIRTUAL
 +                 ​(METHODCP "​print"​ "​java.io.PrintStream"​
 +                           ​((CLASS "​java.lang.String"​))
 +                           ​VOID)))
 +        (30 (ALOAD_1))
 +        (31 (ALOAD_2))
 +        (32 (INVOKEVIRTUAL
 +                 ​(METHODCP "​println"​ "​java.io.PrintStream"​
 +                           ​((CLASS "​java.lang.String"​))
 +                           ​VOID)))
 +        (35 (GOTO 42))
 +        (38 (ALOAD_1))
 +        (39 (INVOKEVIRTUAL
 +                 ​(METHODCP "​println"​
 +                           "​java.io.PrintStream"​ NIL VOID)))
 +        (42 (ALOAD_0))
 +        (43
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​backtrace"​ "​java.lang.Throwable"​
 +                           ​(CLASS "​java.lang.Object"​))))
 +        (46 (IFNULL 56))
 +        (49 (ALOAD_0))
 +        (50
 +         ​(GETSTATIC
 +              (JVM::​FIELDCP "​err"​ "​java.lang.System"​
 +                            (CLASS "​java.io.PrintStream"​))))
 +        (53
 +         ​(INVOKESPECIAL
 +          (METHODCP "​printStackTrace0"​ "​java.lang.Throwable"​
 +                    ((CLASS "​java.lang.Object"​))
 +                    VOID)))
 +        (56 (RETURN))
 +        (ENDOFCODE 57))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +            (38 (FRAME (LOCALS (CLASS "​java.lang.Throwable"​)
 +                               ​(CLASS "​java.io.PrintStream"​)
 +                               ​(CLASS "​java.lang.String"​))
 +                       ​(STACK)
 +                       NIL))
 +            (42 (FRAME (LOCALS (CLASS "​java.lang.Throwable"​)
 +                               ​(CLASS "​java.io.PrintStream"​)
 +                               ​(CLASS "​java.lang.String"​))
 +                       ​(STACK)
 +                       NIL))
 +            (56 (FRAME (LOCALS (CLASS "​java.lang.Throwable"​)
 +                               ​(CLASS "​java.io.PrintStream"​)
 +                               ​(CLASS "​java.lang.String"​))
 +                       ​(STACK)
 +                       ​NIL)))))
 +     ​(METHOD "​printStackTrace0"​
 +             ​(PARAMETERS (CLASS "​java.lang.Object"​))
 +             ​(RETURNTYPE VOID)
 +             ​(ACCESSFLAGS *CLASS* *NATIVE* *PRIVATE*)
 +             ​(CODE)))
 +    (INTERFACES)
 +    (ACCESSFLAGS *CLASS*
 +                 ​*PUBLIC* *SUPER* *SYNCHRONIZED*))
 +   ​(CLASS
 +    "​java.lang.Object"​ ""​
 +    (JVM::​CONSTANT_POOL
 +         ​(STRING "​@"​)
 +         ​(STRING "​timeout value is negative"​)
 +         (INT 999999)
 +         ​(STRING "​nanosecond timeout value out of range"​)
 +         (INT 500000))
 +    (FIELDS)
 +    (METHODS
 +     ​(METHOD "<​init>"​ (PARAMETERS)
 +             ​(RETURNTYPE VOID)
 +             ​(ACCESSFLAGS *CLASS* *PUBLIC*)
 +             (CODE (MAX_STACK 0)
 +                   ​(JVM::​MAX_LOCALS 1)
 +                   ​(CODE_LENGTH 1)
 +                   ​(PARSEDCODE (0 (RETURN)) (ENDOFCODE 1))
 +                   ​(EXCEPTIONS)
 +                   ​(STACKMAP)))
 +     ​(METHOD "​getClass"​ (PARAMETERS)
 +             ​(RETURNTYPE (CLASS "​java.lang.Class"​))
 +             ​(ACCESSFLAGS *CLASS* *FINAL* *NATIVE* *PUBLIC*)
 +             ​(CODE))
 +     ​(METHOD "​hashCode"​ (PARAMETERS)
 +             ​(RETURNTYPE INT)
 +             ​(ACCESSFLAGS *CLASS* *NATIVE* *PUBLIC*)
 +             ​(CODE))
 +     ​(METHOD
 +      "​equals"​
 +      (PARAMETERS (CLASS "​java.lang.Object"​))
 +      (RETURNTYPE BOOLEAN)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +         ​(MAX_STACK 2)
 +         ​(JVM::​MAX_LOCALS 2)
 +         ​(CODE_LENGTH 11)
 +         ​(PARSEDCODE (0 (ALOAD_0))
 +                     (1 (ALOAD_1))
 +                     (2 (JVM::​IF_ACMPNE 9))
 +                     (5 (ICONST_1))
 +                     (6 (GOTO 10))
 +                     (9 (ICONST_0))
 +                     (10 (IRETURN))
 +                     ​(ENDOFCODE 11))
 +         ​(EXCEPTIONS)
 +         ​(STACKMAP
 +              (9 (FRAME (LOCALS (CLASS "​java.lang.Object"​)
 +                                (CLASS "​java.lang.Object"​))
 +                        (STACK)
 +                        NIL))
 +              (10 (FRAME (LOCALS (CLASS "​java.lang.Object"​)
 +                                 ​(CLASS "​java.lang.Object"​))
 +                         ​(STACK INT)
 +                         ​NIL)))))
 +     ​(METHOD
 +      "​toString"​ (PARAMETERS)
 +      (RETURNTYPE (CLASS "​java.lang.String"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 36)
 +       ​(PARSEDCODE
 +        (0 (NEW (CLASS "​java.lang.StringBuffer"​)))
 +        (3 (DUP))
 +        (4
 +         ​(INVOKESPECIAL
 +              (METHODCP "<​init>"​
 +                        "​java.lang.StringBuffer"​ NIL VOID)))
 +        (7 (ALOAD_0))
 +        (8 (INVOKEVIRTUAL
 +                (METHODCP "​getClass"​ "​java.lang.Object"​
 +                          NIL (CLASS "​java.lang.Class"​))))
 +        (11 (INVOKEVIRTUAL
 +                 ​(METHODCP "​getName"​ "​java.lang.Class"​
 +                           NIL (CLASS "​java.lang.String"​))))
 +        (14
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​append"​ "​java.lang.StringBuffer"​
 +                         ​((CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (17 (LDC 0))
 +        (19
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​append"​ "​java.lang.StringBuffer"​
 +                         ​((CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (22 (ALOAD_0))
 +        (23
 +         ​(INVOKEVIRTUAL
 +          (METHODCP "​hashCode"​ "​java.lang.Object"​ NIL INT)))
 +        (26
 +         ​(INVOKESTATIC
 +           ​(METHODCP "​toHexString"​ "​java.lang.Integer"​ (INT)
 +                     ​(CLASS "​java.lang.String"​))))
 +        (29
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​append"​ "​java.lang.StringBuffer"​
 +                         ​((CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (32
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​toString"​ "​java.lang.StringBuffer"​
 +                         NIL (CLASS "​java.lang.String"​))))
 +        (35 (ARETURN))
 +        (ENDOFCODE 36))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD "​notify"​ (PARAMETERS)
 +             ​(RETURNTYPE VOID)
 +             ​(ACCESSFLAGS *CLASS* *FINAL* *NATIVE* *PUBLIC*)
 +             ​(CODE))
 +     ​(METHOD "​notifyAll"​ (PARAMETERS)
 +             ​(RETURNTYPE VOID)
 +             ​(ACCESSFLAGS *CLASS* *FINAL* *NATIVE* *PUBLIC*)
 +             ​(CODE))
 +     ​(METHOD "​wait"​ (PARAMETERS)
 +             ​(RETURNTYPE VOID)
 +             ​(ACCESSFLAGS *CLASS* *FINAL* *NATIVE* *PUBLIC*)
 +             ​(CODE))
 +     ​(METHOD "​wait"​ (PARAMETERS LONG)
 +             ​(RETURNTYPE VOID)
 +             ​(ACCESSFLAGS *CLASS* *FINAL* *NATIVE* *PUBLIC*)
 +             ​(CODE))
 +     ​(METHOD
 +      "​wait"​ (PARAMETERS LONG INT)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *FINAL* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 4)
 +       ​(JVM::​MAX_LOCALS 4)
 +       ​(CODE_LENGTH 62)
 +       ​(PARSEDCODE
 +        (0 (JVM::​LLOAD_1))
 +        (1 (JVM::​LCONST_0))
 +        (2 (JVM::​LCMP))
 +        (3 (IFGE 16))
 +        (6
 +         (NEW (CLASS "​java.lang.IllegalArgumentException"​)))
 +        (9 (DUP))
 +        (10 (LDC 1))
 +        (12
 +         ​(INVOKESPECIAL
 +              (METHODCP "<​init>"​
 +                        "​java.lang.IllegalArgumentException"​
 +                        ((CLASS "​java.lang.String"​))
 +                        VOID)))
 +        (15 (ATHROW))
 +        (16 (ILOAD_3))
 +        (17 (IFLT 26))
 +        (20 (ILOAD_3))
 +        (21 (LDC 2))
 +        (23 (IF_ICMPLE 36))
 +        (26
 +         (NEW (CLASS "​java.lang.IllegalArgumentException"​)))
 +        (29 (DUP))
 +        (30 (LDC 3))
 +        (32
 +         ​(INVOKESPECIAL
 +              (METHODCP "<​init>"​
 +                        "​java.lang.IllegalArgumentException"​
 +                        ((CLASS "​java.lang.String"​))
 +                        VOID)))
 +        (35 (ATHROW))
 +        (36 (ILOAD_3))
 +        (37 (LDC 4))
 +        (39 (IF_ICMPGE 52))
 +        (42 (ILOAD_3))
 +        (43 (IFEQ 56))
 +        (46 (JVM::​LLOAD_1))
 +        (47 (JVM::​LCONST_0))
 +        (48 (JVM::​LCMP))
 +        (49 (IFNE 56))
 +        (52 (JVM::​LLOAD_1))
 +        (53 (JVM::​LCONST_1))
 +        (54 (JVM::​LADD))
 +        (55 (JVM::​LSTORE_1))
 +        (56 (ALOAD_0))
 +        (57 (JVM::​LLOAD_1))
 +        (58 (INVOKEVIRTUAL
 +                 ​(METHODCP "​wait"​ "​java.lang.Object"​ (LONG)
 +                           ​VOID)))
 +        (61 (RETURN))
 +        (ENDOFCODE 62))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +            (16 (FRAME (LOCALS (CLASS "​java.lang.Object"​)
 +                               LONG TOP INT)
 +                       ​(STACK)
 +                       NIL))
 +            (26 (FRAME (LOCALS (CLASS "​java.lang.Object"​)
 +                               LONG TOP INT)
 +                       ​(STACK)
 +                       NIL))
 +            (36 (FRAME (LOCALS (CLASS "​java.lang.Object"​)
 +                               LONG TOP INT)
 +                       ​(STACK)
 +                       NIL))
 +            (52 (FRAME (LOCALS (CLASS "​java.lang.Object"​)
 +                               LONG TOP INT)
 +                       ​(STACK)
 +                       NIL))
 +            (56 (FRAME (LOCALS (CLASS "​java.lang.Object"​)
 +                               LONG TOP INT)
 +                       ​(STACK)
 +                       ​NIL)))))
 +     ​(METHOD
 +      "​wait"​ (PARAMETERS)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *FINAL* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 6)
 +       ​(PARSEDCODE
 +          (0 (ALOAD_0))
 +          (1 (JVM::​LCONST_0))
 +          (2 (INVOKEVIRTUAL
 +                  (METHODCP "​wait"​ "​java.lang.Object"​ (LONG)
 +                            VOID)))
 +          (5 (RETURN))
 +          (ENDOFCODE 6))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP))))
 +    (INTERFACES)
 +    (ACCESSFLAGS *CLASS*
 +                 ​*PUBLIC* *SUPER* *SYNCHRONIZED*))
 +   ​(CLASS
 +    "​java.lang.String"​ "​java.lang.Object"​
 +    (JVM::​CONSTANT_POOL (STRING "​null"​)
 +                        (STRING "​true"​)
 +                        (STRING "​false"​))
 +    (FIELDS (FIELD "​value"​ (ARRAY CHAR)
 +                   ​(ACCESSFLAGS *CLASS* *PRIVATE*)
 +                   -1)
 +            (FIELD "​offset"​
 +                   INT (ACCESSFLAGS *CLASS* *PRIVATE*)
 +                   -1)
 +            (FIELD "​count"​
 +                   INT (ACCESSFLAGS *CLASS* *PRIVATE*)
 +                   -1))
 +    (METHODS
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 12)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(INVOKESPECIAL
 +           ​(METHODCP "<​init>"​ "​java.lang.Object"​ NIL VOID)))
 +        (4 (ALOAD_0))
 +        (5 (ICONST_0))
 +        (6 (NEWARRAY CHAR))
 +        (8
 +         ​(PUTFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (11 (RETURN))
 +        (ENDOFCODE 12))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 5)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 37)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(INVOKESPECIAL
 +           ​(METHODCP "<​init>"​ "​java.lang.Object"​ NIL VOID)))
 +        (4 (ALOAD_0))
 +        (5 (ALOAD_1))
 +        (6
 +         ​(INVOKEVIRTUAL
 +            (METHODCP "​length"​ "​java.lang.String"​ NIL INT)))
 +        (9
 +         ​(PUTFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (12 (ALOAD_0))
 +        (13 (ALOAD_0))
 +        (14
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (17 (NEWARRAY CHAR))
 +        (19
 +         ​(PUTFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (22 (ALOAD_1))
 +        (23 (ICONST_0))
 +        (24 (ALOAD_0))
 +        (25
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (28 (ALOAD_0))
 +        (29
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (32 (ICONST_0))
 +        (33 (INVOKEVIRTUAL
 +                 ​(METHODCP "​getChars"​ "​java.lang.String"​
 +                           (INT INT (ARRAY CHAR) INT)
 +                           ​VOID)))
 +        (36 (RETURN))
 +        (ENDOFCODE 37))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS (ARRAY CHAR))
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 5)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 35)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(INVOKESPECIAL
 +           ​(METHODCP "<​init>"​ "​java.lang.Object"​ NIL VOID)))
 +        (4 (ALOAD_0))
 +        (5 (ALOAD_1))
 +        (6 (ARRAYLENGTH))
 +        (7
 +         ​(PUTFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (10 (ALOAD_0))
 +        (11 (ALOAD_0))
 +        (12
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (15 (NEWARRAY CHAR))
 +        (17
 +         ​(PUTFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (20 (ALOAD_1))
 +        (21 (ICONST_0))
 +        (22 (ALOAD_0))
 +        (23
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (26 (ICONST_0))
 +        (27 (ALOAD_0))
 +        (28
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (31 (INVOKESTATIC
 +                 ​(METHODCP "​arraycopy"​ "​java.lang.System"​
 +                           ​((CLASS "​java.lang.Object"​)
 +                            INT (CLASS "​java.lang.Object"​)
 +                            INT INT)
 +                           ​VOID)))
 +        (34 (RETURN))
 +        (ENDOFCODE 35))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​
 +      (PARAMETERS (ARRAY CHAR) INT INT)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 5)
 +       ​(JVM::​MAX_LOCALS 4)
 +       ​(CODE_LENGTH 73)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(INVOKESPECIAL
 +           ​(METHODCP "<​init>"​ "​java.lang.Object"​ NIL VOID)))
 +        (4 (ILOAD_2))
 +        (5 (IFGE 17))
 +        (8
 +         (NEW
 +          (CLASS
 +              "​java.lang.StringIndexOutOfBoundsException"​)))
 +        (11 (DUP))
 +        (12 (ILOAD_2))
 +        (13
 +         ​(INVOKESPECIAL
 +            (METHODCP
 +                 "<​init>"​
 +                 "​java.lang.StringIndexOutOfBoundsException"​
 +                 (INT)
 +                 ​VOID)))
 +        (16 (ATHROW))
 +        (17 (ILOAD_3))
 +        (18 (IFGE 30))
 +        (21
 +         (NEW
 +          (CLASS
 +              "​java.lang.StringIndexOutOfBoundsException"​)))
 +        (24 (DUP))
 +        (25 (ILOAD_3))
 +        (26
 +         ​(INVOKESPECIAL
 +            (METHODCP
 +                 "<​init>"​
 +                 "​java.lang.StringIndexOutOfBoundsException"​
 +                 (INT)
 +                 ​VOID)))
 +        (29 (ATHROW))
 +        (30 (ILOAD_2))
 +        (31 (ALOAD_1))
 +        (32 (ARRAYLENGTH))
 +        (33 (ILOAD_3))
 +        (34 (ISUB))
 +        (35 (IF_ICMPLE 49))
 +        (38
 +         (NEW
 +          (CLASS
 +              "​java.lang.StringIndexOutOfBoundsException"​)))
 +        (41 (DUP))
 +        (42 (ILOAD_2))
 +        (43 (ILOAD_3))
 +        (44 (IADD))
 +        (45
 +         ​(INVOKESPECIAL
 +            (METHODCP
 +                 "<​init>"​
 +                 "​java.lang.StringIndexOutOfBoundsException"​
 +                 (INT)
 +                 ​VOID)))
 +        (48 (ATHROW))
 +        (49 (ALOAD_0))
 +        (50 (ILOAD_3))
 +        (51 (NEWARRAY CHAR))
 +        (53
 +         ​(PUTFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (56 (ALOAD_0))
 +        (57 (ILOAD_3))
 +        (58
 +         ​(PUTFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (61 (ALOAD_1))
 +        (62 (ILOAD_2))
 +        (63 (ALOAD_0))
 +        (64
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (67 (ICONST_0))
 +        (68 (ILOAD_3))
 +        (69 (INVOKESTATIC
 +                 ​(METHODCP "​arraycopy"​ "​java.lang.System"​
 +                           ​((CLASS "​java.lang.Object"​)
 +                            INT (CLASS "​java.lang.Object"​)
 +                            INT INT)
 +                           ​VOID)))
 +        (72 (RETURN))
 +        (ENDOFCODE 73))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +            (17 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               ​(ARRAY CHAR)
 +                               INT INT)
 +                       ​(STACK)
 +                       NIL))
 +            (30 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               ​(ARRAY CHAR)
 +                               INT INT)
 +                       ​(STACK)
 +                       NIL))
 +            (49 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               ​(ARRAY CHAR)
 +                               INT INT)
 +                       ​(STACK)
 +                       ​NIL)))))
 +     ​(METHOD
 +      "<​init>"​
 +      (PARAMETERS (ARRAY BYTE)
 +                  INT INT (CLASS "​java.lang.String"​))
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 5)
 +       ​(JVM::​MAX_LOCALS 5)
 +       ​(CODE_LENGTH 13)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (ALOAD_1))
 +        (2 (ILOAD_2))
 +        (3 (ILOAD_3))
 +        (4 (ALOAD 4))
 +        (6
 +         ​(INVOKESTATIC
 +              (METHODCP "​byteToCharArray"​
 +                        "​com.sun.cldc.i18n.Helper"​
 +                        ((ARRAY BYTE)
 +                         INT INT (CLASS "​java.lang.String"​))
 +                        (ARRAY CHAR))))
 +        (9 (INVOKESPECIAL
 +                (METHODCP "<​init>"​
 +                          "​java.lang.String"​ ((ARRAY CHAR))
 +                          VOID)))
 +        (12 (RETURN))
 +        (ENDOFCODE 13))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​
 +      (PARAMETERS (ARRAY BYTE)
 +                  (CLASS "​java.lang.String"​))
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 5)
 +       ​(JVM::​MAX_LOCALS 3)
 +       ​(CODE_LENGTH 10)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (ALOAD_1))
 +        (2 (ICONST_0))
 +        (3 (ALOAD_1))
 +        (4 (ARRAYLENGTH))
 +        (5 (ALOAD_2))
 +        (6
 +         ​(INVOKESPECIAL
 +              (METHODCP "<​init>"​ "​java.lang.String"​
 +                        ((ARRAY BYTE)
 +                         INT INT (CLASS "​java.lang.String"​))
 +                        VOID)))
 +        (9 (RETURN))
 +        (ENDOFCODE 10))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​
 +      (PARAMETERS (ARRAY BYTE) INT INT)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 4)
 +       ​(JVM::​MAX_LOCALS 4)
 +       ​(CODE_LENGTH 11)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (ALOAD_1))
 +        (2 (ILOAD_2))
 +        (3 (ILOAD_3))
 +        (4
 +          (INVOKESTATIC (METHODCP "​byteToCharArray"​
 +                                  "​com.sun.cldc.i18n.Helper"​
 +                                  ((ARRAY BYTE) INT INT)
 +                                  (ARRAY CHAR))))
 +        (7 (INVOKESPECIAL
 +                (METHODCP "<​init>"​
 +                          "​java.lang.String"​ ((ARRAY CHAR))
 +                          VOID)))
 +        (10 (RETURN))
 +        (ENDOFCODE 11))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS (ARRAY BYTE))
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +          (MAX_STACK 4)
 +          (JVM::​MAX_LOCALS 2)
 +          (CODE_LENGTH 9)
 +          (PARSEDCODE
 +               (0 (ALOAD_0))
 +               (1 (ALOAD_1))
 +               (2 (ICONST_0))
 +               (3 (ALOAD_1))
 +               (4 (ARRAYLENGTH))
 +               (5 (INVOKESPECIAL
 +                       ​(METHODCP "<​init>"​ "​java.lang.String"​
 +                                 ​((ARRAY BYTE) INT INT)
 +                                 ​VOID)))
 +               (8 (RETURN))
 +               ​(ENDOFCODE 9))
 +          (EXCEPTIONS)
 +          (STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​
 +      (PARAMETERS (CLASS "​java.lang.StringBuffer"​))
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 4)
 +       ​(CODE_LENGTH 44)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(INVOKESPECIAL
 +           ​(METHODCP "<​init>"​ "​java.lang.Object"​ NIL VOID)))
 +        (4 (ALOAD_1))
 +        (5 (ASTORE_2))
 +        (6 (ALOAD_2))
 +        (7 (MONITORENTER))
 +        (8 (ALOAD_1))
 +        (9
 +         ​(INVOKEVIRTUAL
 +              (METHODCP "​setShared"​
 +                        "​java.lang.StringBuffer"​ NIL VOID)))
 +        (12 (ALOAD_0))
 +        (13 (ALOAD_1))
 +        (14
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​getValue"​ "​java.lang.StringBuffer"​
 +                         NIL (ARRAY CHAR))))
 +        (17
 +         ​(PUTFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (20 (ALOAD_0))
 +        (21 (ICONST_0))
 +        (22
 +         ​(PUTFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (25 (ALOAD_0))
 +        (26 (ALOAD_1))
 +        (27
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​length"​
 +                         "​java.lang.StringBuffer"​ NIL INT)))
 +        (30
 +         ​(PUTFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (33 (ALOAD_2))
 +        (34 (MONITOREXIT))
 +        (35 (GOTO 43))
 +        (38 (ASTORE_3))
 +        (39 (ALOAD_2))
 +        (40 (MONITOREXIT))
 +        (41 (ALOAD_3))
 +        (42 (ATHROW))
 +        (43 (RETURN))
 +        (ENDOFCODE 44))
 +       ​(EXCEPTIONS
 +            (JVM::​HANDLER
 +                 8 38 38 (CLASS "​java.lang.Throwable"​)))
 +       ​(STACKMAP
 +         (38 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                            (CLASS "​java.lang.StringBuffer"​)
 +                            (CLASS "​java.lang.StringBuffer"​)
 +                            TOP)
 +                    (STACK (CLASS "​java.lang.Throwable"​))
 +                    NIL))
 +         (43 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                            (CLASS "​java.lang.StringBuffer"​)
 +                            (CLASS "​java.lang.StringBuffer"​)
 +                            TOP)
 +                    (STACK)
 +                    NIL)))))
 +     ​(METHOD
 +      "<​init>"​
 +      (PARAMETERS INT INT (ARRAY CHAR))
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PRIVATE*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 4)
 +       ​(CODE_LENGTH 20)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(INVOKESPECIAL
 +           ​(METHODCP "<​init>"​ "​java.lang.Object"​ NIL VOID)))
 +        (4 (ALOAD_0))
 +        (5 (ALOAD_3))
 +        (6
 +         ​(PUTFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (9 (ALOAD_0))
 +        (10 (ILOAD_1))
 +        (11
 +         ​(PUTFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (14 (ALOAD_0))
 +        (15 (ILOAD_2))
 +        (16
 +         ​(PUTFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (19 (RETURN))
 +        (ENDOFCODE 20))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​length"​ (PARAMETERS)
 +      (RETURNTYPE INT)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 5)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (4 (IRETURN))
 +        (ENDOFCODE 5))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD "​charAt"​ (PARAMETERS INT)
 +             ​(RETURNTYPE CHAR)
 +             ​(ACCESSFLAGS *CLASS* *NATIVE* *PUBLIC*)
 +             ​(CODE))
 +     ​(METHOD
 +      "​getChars"​
 +      (PARAMETERS INT INT (ARRAY CHAR) INT)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 6)
 +       ​(JVM::​MAX_LOCALS 5)
 +       ​(CODE_LENGTH 66)
 +       ​(PARSEDCODE
 +        (0 (ILOAD_1))
 +        (1 (IFGE 13))
 +        (4
 +         (NEW
 +          (CLASS
 +              "​java.lang.StringIndexOutOfBoundsException"​)))
 +        (7 (DUP))
 +        (8 (ILOAD_1))
 +        (9
 +         ​(INVOKESPECIAL
 +            (METHODCP
 +                 "<​init>"​
 +                 "​java.lang.StringIndexOutOfBoundsException"​
 +                 (INT)
 +                 ​VOID)))
 +        (12 (ATHROW))
 +        (13 (ILOAD_2))
 +        (14 (ALOAD_0))
 +        (15
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (18 (IF_ICMPLE 30))
 +        (21
 +         (NEW
 +          (CLASS
 +              "​java.lang.StringIndexOutOfBoundsException"​)))
 +        (24 (DUP))
 +        (25 (ILOAD_2))
 +        (26
 +         ​(INVOKESPECIAL
 +            (METHODCP
 +                 "<​init>"​
 +                 "​java.lang.StringIndexOutOfBoundsException"​
 +                 (INT)
 +                 ​VOID)))
 +        (29 (ATHROW))
 +        (30 (ILOAD_1))
 +        (31 (ILOAD_2))
 +        (32 (IF_ICMPLE 46))
 +        (35
 +         (NEW
 +          (CLASS
 +              "​java.lang.StringIndexOutOfBoundsException"​)))
 +        (38 (DUP))
 +        (39 (ILOAD_2))
 +        (40 (ILOAD_1))
 +        (41 (ISUB))
 +        (42
 +         ​(INVOKESPECIAL
 +            (METHODCP
 +                 "<​init>"​
 +                 "​java.lang.StringIndexOutOfBoundsException"​
 +                 (INT)
 +                 ​VOID)))
 +        (45 (ATHROW))
 +        (46 (ALOAD_0))
 +        (47
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (50 (ALOAD_0))
 +        (51
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (54 (ILOAD_1))
 +        (55 (IADD))
 +        (56 (ALOAD_3))
 +        (57 (ILOAD 4))
 +        (59 (ILOAD_2))
 +        (60 (ILOAD_1))
 +        (61 (ISUB))
 +        (62 (INVOKESTATIC
 +                 ​(METHODCP "​arraycopy"​ "​java.lang.System"​
 +                           ​((CLASS "​java.lang.Object"​)
 +                            INT (CLASS "​java.lang.Object"​)
 +                            INT INT)
 +                           ​VOID)))
 +        (65 (RETURN))
 +        (ENDOFCODE 66))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +            (13 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT (ARRAY CHAR)
 +                               INT)
 +                       ​(STACK)
 +                       NIL))
 +            (30 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT (ARRAY CHAR)
 +                               INT)
 +                       ​(STACK)
 +                       NIL))
 +            (46 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT (ARRAY CHAR)
 +                               INT)
 +                       ​(STACK)
 +                       ​NIL)))))
 +     ​(METHOD
 +      "​getBytes"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE (ARRAY BYTE))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 4)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 17)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (4 (ALOAD_0))
 +        (5
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (8 (ALOAD_0))
 +        (9
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (12 (ALOAD_1))
 +        (13
 +         ​(INVOKESTATIC
 +              (METHODCP "​charToByteArray"​
 +                        "​com.sun.cldc.i18n.Helper"​
 +                        ((ARRAY CHAR)
 +                         INT INT (CLASS "​java.lang.String"​))
 +                        (ARRAY BYTE))))
 +        (16 (ARETURN))
 +        (ENDOFCODE 17))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​getBytes"​ (PARAMETERS)
 +      (RETURNTYPE (ARRAY BYTE))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 16)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (4 (ALOAD_0))
 +        (5
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (8 (ALOAD_0))
 +        (9
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (12
 +          (INVOKESTATIC (METHODCP "​charToByteArray"​
 +                                  "​com.sun.cldc.i18n.Helper"​
 +                                  ((ARRAY CHAR) INT INT)
 +                                  (ARRAY BYTE))))
 +        (15 (ARETURN))
 +        (ENDOFCODE 16))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD "​equals"​
 +             ​(PARAMETERS (CLASS "​java.lang.Object"​))
 +             ​(RETURNTYPE BOOLEAN)
 +             ​(ACCESSFLAGS *CLASS* *NATIVE* *PUBLIC*)
 +             ​(CODE))
 +     ​(METHOD
 +      "​compareTo"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE INT)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 11)
 +       ​(CODE_LENGTH 91)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (4 (ISTORE_2))
 +        (5 (ALOAD_1))
 +        (6
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (9 (ISTORE_3))
 +        (10 (ILOAD_2))
 +        (11 (ILOAD_3))
 +        (12 (INVOKESTATIC
 +                 ​(METHODCP "​min"​ "​java.lang.Math"​ (INT INT)
 +                           ​INT)))
 +        (15 (ISTORE 4))
 +        (17 (ALOAD_0))
 +        (18
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (21 (ASTORE 5))
 +        (23 (ALOAD_1))
 +        (24
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (27 (ASTORE 6))
 +        (29 (ALOAD_0))
 +        (30
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (33 (ISTORE 7))
 +        (35 (ALOAD_1))
 +        (36
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (39 (ISTORE 8))
 +        (41 (GOTO 77))
 +        (44 (ALOAD 5))
 +        (46 (ILOAD 7))
 +        (48 (IINC 7 1))
 +        (51 (CALOAD))
 +        (52 (ISTORE 9))
 +        (54 (ALOAD 6))
 +        (56 (ILOAD 8))
 +        (58 (IINC 8 1))
 +        (61 (CALOAD))
 +        (62 (ISTORE 10))
 +        (64 (ILOAD 9))
 +        (66 (ILOAD 10))
 +        (68 (IF_ICMPEQ 77))
 +        (71 (ILOAD 9))
 +        (73 (ILOAD 10))
 +        (75 (ISUB))
 +        (76 (IRETURN))
 +        (77 (ILOAD 4))
 +        (79 (DUP))
 +        (80 (ICONST_1))
 +        (81 (ISUB))
 +        (82 (ISTORE 4))
 +        (84 (IFNE 44))
 +        (87 (ILOAD_2))
 +        (88 (ILOAD_3))
 +        (89 (ISUB))
 +        (90 (IRETURN))
 +        (ENDOFCODE 91))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +            (44 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               ​(CLASS "​java.lang.String"​)
 +                               INT INT INT (ARRAY CHAR)
 +                               ​(ARRAY CHAR)
 +                               INT INT TOP TOP)
 +                       ​(STACK)
 +                       NIL))
 +            (77 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               ​(CLASS "​java.lang.String"​)
 +                               INT INT INT (ARRAY CHAR)
 +                               ​(ARRAY CHAR)
 +                               INT INT TOP TOP)
 +                       ​(STACK)
 +                       ​NIL)))))
 +     ​(METHOD
 +      "​regionMatches"​
 +      (PARAMETERS BOOLEAN INT (CLASS "​java.lang.String"​)
 +                  INT INT)
 +      (RETURNTYPE BOOLEAN)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 6)
 +       ​(JVM::​MAX_LOCALS 15)
 +       ​(CODE_LENGTH 170)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (4 (ASTORE 6))
 +        (6 (ALOAD_0))
 +        (7
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (10 (ILOAD_2))
 +        (11 (IADD))
 +        (12 (ISTORE 7))
 +        (14 (ALOAD_0))
 +        (15
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (18 (ALOAD_0))
 +        (19
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (22 (IADD))
 +        (23 (ISTORE 8))
 +        (25 (ALOAD_3))
 +        (26
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (29 (ASTORE 9))
 +        (31 (ALOAD_3))
 +        (32
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (35 (ILOAD 4))
 +        (37 (IADD))
 +        (38 (ISTORE 10))
 +        (40 (ILOAD 4))
 +        (42 (IFLT 80))
 +        (45 (ILOAD_2))
 +        (46 (IFLT 80))
 +        (49 (ILOAD_2))
 +        (50 (JVM::I2L))
 +        (51 (ALOAD_0))
 +        (52
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (55 (JVM::I2L))
 +        (56 (ILOAD 5))
 +        (58 (JVM::I2L))
 +        (59 (JVM::​LSUB))
 +        (60 (JVM::​LCMP))
 +        (61 (IFGT 80))
 +        (64 (ILOAD 4))
 +        (66 (JVM::I2L))
 +        (67 (ALOAD_3))
 +        (68
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (71 (JVM::I2L))
 +        (72 (ILOAD 5))
 +        (74 (JVM::I2L))
 +        (75 (JVM::​LSUB))
 +        (76 (JVM::​LCMP))
 +        (77 (IFLE 158))
 +        (80 (ICONST_0))
 +        (81 (IRETURN))
 +        (82 (ALOAD 6))
 +        (84 (ILOAD 7))
 +        (86 (IINC 7 1))
 +        (89 (CALOAD))
 +        (90 (ISTORE 11))
 +        (92 (ALOAD 9))
 +        (94 (ILOAD 10))
 +        (96 (IINC 10 1))
 +        (99 (CALOAD))
 +        (100 (ISTORE 12))
 +        (102 (ILOAD 11))
 +        (104 (ILOAD 12))
 +        (106 (IF_ICMPNE 112))
 +        (109 (GOTO 158))
 +        (112 (ILOAD_1))
 +        (113 (IFEQ 156))
 +        (116 (ILOAD 11))
 +        (118 (INVOKESTATIC
 +                  (METHODCP "​toUpperCase"​
 +                            "​java.lang.Character"​ (CHAR)
 +                            CHAR)))
 +        (121 (ISTORE 13))
 +        (123 (ILOAD 12))
 +        (125 (INVOKESTATIC
 +                  (METHODCP "​toUpperCase"​
 +                            "​java.lang.Character"​ (CHAR)
 +                            CHAR)))
 +        (128 (ISTORE 14))
 +        (130 (ILOAD 13))
 +        (132 (ILOAD 14))
 +        (134 (IF_ICMPNE 140))
 +        (137 (GOTO 158))
 +        (140 (ILOAD 13))
 +        (142 (INVOKESTATIC
 +                  (METHODCP "​toLowerCase"​
 +                            "​java.lang.Character"​ (CHAR)
 +                            CHAR)))
 +        (145 (ILOAD 14))
 +        (147 (INVOKESTATIC
 +                  (METHODCP "​toLowerCase"​
 +                            "​java.lang.Character"​ (CHAR)
 +                            CHAR)))
 +        (150 (IF_ICMPNE 156))
 +        (153 (GOTO 158))
 +        (156 (ICONST_0))
 +        (157 (IRETURN))
 +        (158 (ILOAD 5))
 +        (160 (DUP))
 +        (161 (ICONST_1))
 +        (162 (ISUB))
 +        (163 (ISTORE 5))
 +        (165 (IFGT 82))
 +        (168 (ICONST_1))
 +        (169 (IRETURN))
 +        (ENDOFCODE 170))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +        (80
 +           ​(FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                          INT INT (CLASS "​java.lang.String"​)
 +                          INT INT (ARRAY CHAR)
 +                          INT INT (ARRAY CHAR)
 +                          INT TOP TOP TOP TOP)
 +                  (STACK)
 +                  NIL))
 +        (82
 +           ​(FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                          INT INT (CLASS "​java.lang.String"​)
 +                          INT INT (ARRAY CHAR)
 +                          INT INT (ARRAY CHAR)
 +                          INT TOP TOP TOP TOP)
 +                  (STACK)
 +                  NIL))
 +        (112
 +           ​(FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                          INT INT (CLASS "​java.lang.String"​)
 +                          INT INT (ARRAY CHAR)
 +                          INT INT (ARRAY CHAR)
 +                          INT INT INT TOP TOP)
 +                  (STACK)
 +                  NIL))
 +        (140
 +           ​(FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                          INT INT (CLASS "​java.lang.String"​)
 +                          INT INT (ARRAY CHAR)
 +                          INT INT (ARRAY CHAR)
 +                          INT INT INT INT INT)
 +                  (STACK)
 +                  NIL))
 +        (156
 +           ​(FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                          INT INT (CLASS "​java.lang.String"​)
 +                          INT INT (ARRAY CHAR)
 +                          INT INT (ARRAY CHAR)
 +                          INT INT INT TOP TOP)
 +                  (STACK)
 +                  NIL))
 +        (158
 +           ​(FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                          INT INT (CLASS "​java.lang.String"​)
 +                          INT INT (ARRAY CHAR)
 +                          INT INT (ARRAY CHAR)
 +                          INT TOP TOP TOP TOP)
 +                  (STACK)
 +                  NIL)))))
 +     ​(METHOD
 +      "​startsWith"​
 +      (PARAMETERS (CLASS "​java.lang.String"​)
 +                  INT)
 +      (RETURNTYPE BOOLEAN)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 9)
 +       ​(CODE_LENGTH 89)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (4 (ASTORE_3))
 +        (5 (ALOAD_0))
 +        (6
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (9 (ILOAD_2))
 +        (10 (IADD))
 +        (11 (ISTORE 4))
 +        (13 (ALOAD_0))
 +        (14
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (17 (ALOAD_0))
 +        (18
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (21 (IADD))
 +        (22 (ISTORE 5))
 +        (24 (ALOAD_1))
 +        (25
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (28 (ASTORE 6))
 +        (30 (ALOAD_1))
 +        (31
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (34 (ISTORE 7))
 +        (36 (ALOAD_1))
 +        (37
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (40 (ISTORE 8))
 +        (42 (ILOAD_2))
 +        (43 (IFLT 57))
 +        (46 (ILOAD_2))
 +        (47 (ALOAD_0))
 +        (48
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (51 (ILOAD 8))
 +        (53 (ISUB))
 +        (54 (IF_ICMPLE 79))
 +        (57 (ICONST_0))
 +        (58 (IRETURN))
 +        (59 (ALOAD_3))
 +        (60 (ILOAD 4))
 +        (62 (IINC 4 1))
 +        (65 (CALOAD))
 +        (66 (ALOAD 6))
 +        (68 (ILOAD 7))
 +        (70 (IINC 7 1))
 +        (73 (CALOAD))
 +        (74 (IF_ICMPEQ 79))
 +        (77 (ICONST_0))
 +        (78 (IRETURN))
 +        (79 (IINC 8 -1))
 +        (82 (ILOAD 8))
 +        (84 (IFGE 59))
 +        (87 (ICONST_1))
 +        (88 (IRETURN))
 +        (ENDOFCODE 89))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +            (57 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               ​(CLASS "​java.lang.String"​)
 +                               INT (ARRAY CHAR)
 +                               INT INT (ARRAY CHAR)
 +                               INT INT)
 +                       ​(STACK)
 +                       NIL))
 +            (59 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               ​(CLASS "​java.lang.String"​)
 +                               INT (ARRAY CHAR)
 +                               INT INT (ARRAY CHAR)
 +                               INT INT)
 +                       ​(STACK)
 +                       NIL))
 +            (79 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               ​(CLASS "​java.lang.String"​)
 +                               INT (ARRAY CHAR)
 +                               INT INT (ARRAY CHAR)
 +                               INT INT)
 +                       ​(STACK)
 +                       ​NIL)))))
 +     ​(METHOD
 +      "​startsWith"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE BOOLEAN)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 7)
 +       ​(PARSEDCODE
 +          (0 (ALOAD_0))
 +          (1 (ALOAD_1))
 +          (2 (ICONST_0))
 +          (3 (INVOKEVIRTUAL
 +                  (METHODCP "​startsWith"​ "​java.lang.String"​
 +                            ((CLASS "​java.lang.String"​) INT)
 +                            BOOLEAN)))
 +          (6 (IRETURN))
 +          (ENDOFCODE 7))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​endsWith"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE BOOLEAN)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 4)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 15)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (ALOAD_1))
 +        (2 (ALOAD_0))
 +        (3
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (6 (ALOAD_1))
 +        (7
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (10 (ISUB))
 +        (11 (INVOKEVIRTUAL
 +                 ​(METHODCP "​startsWith"​ "​java.lang.String"​
 +                           ​((CLASS "​java.lang.String"​) INT)
 +                           ​BOOLEAN)))
 +        (14 (IRETURN))
 +        (ENDOFCODE 15))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​hashCode"​ (PARAMETERS)
 +      (RETURNTYPE INT)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 6)
 +       ​(CODE_LENGTH 48)
 +       ​(PARSEDCODE
 +        (0 (ICONST_0))
 +        (1 (ISTORE_1))
 +        (2 (ALOAD_0))
 +        (3
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (6 (ISTORE_2))
 +        (7 (ALOAD_0))
 +        (8
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (11 (ASTORE_3))
 +        (12 (ALOAD_0))
 +        (13
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (16 (ISTORE 4))
 +        (18 (ICONST_0))
 +        (19 (ISTORE 5))
 +        (21 (GOTO 39))
 +        (24 (BIPUSH 31))
 +        (26 (ILOAD_1))
 +        (27 (IMUL))
 +        (28 (ALOAD_3))
 +        (29 (ILOAD_2))
 +        (30 (IINC 2 1))
 +        (33 (CALOAD))
 +        (34 (IADD))
 +        (35 (ISTORE_1))
 +        (36 (IINC 5 1))
 +        (39 (ILOAD 5))
 +        (41 (ILOAD 4))
 +        (43 (IF_ICMPLT 24))
 +        (46 (ILOAD_1))
 +        (47 (IRETURN))
 +        (ENDOFCODE 48))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +            (24 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT (ARRAY CHAR)
 +                               INT INT)
 +                       ​(STACK)
 +                       NIL))
 +            (39 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT (ARRAY CHAR)
 +                               INT INT)
 +                       ​(STACK)
 +                       ​NIL)))))
 +     ​(METHOD "​indexOf"​ (PARAMETERS INT)
 +             ​(RETURNTYPE INT)
 +             ​(ACCESSFLAGS *CLASS* *NATIVE* *PUBLIC*)
 +             ​(CODE))
 +     ​(METHOD "​indexOf"​ (PARAMETERS INT INT)
 +             ​(RETURNTYPE INT)
 +             ​(ACCESSFLAGS *CLASS* *NATIVE* *PUBLIC*)
 +             ​(CODE))
 +     ​(METHOD
 +      "​lastIndexOf"​ (PARAMETERS INT)
 +      (RETURNTYPE INT)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 4)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 12)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (ILOAD_1))
 +        (2 (ALOAD_0))
 +        (3
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (6 (ICONST_1))
 +        (7 (ISUB))
 +        (8 (INVOKEVIRTUAL
 +                (METHODCP "​lastIndexOf"​
 +                          "​java.lang.String"​ (INT INT)
 +                          INT)))
 +        (11 (IRETURN))
 +        (ENDOFCODE 12))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​lastIndexOf"​ (PARAMETERS INT INT)
 +      (RETURNTYPE INT)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 6)
 +       ​(CODE_LENGTH 67)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (4 (ISTORE_3))
 +        (5 (ALOAD_0))
 +        (6
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (9 (ASTORE 4))
 +        (11 (ALOAD_0))
 +        (12
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (15 (ILOAD_2))
 +        (16 (ALOAD_0))
 +        (17
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (20 (IF_ICMPLT 32))
 +        (23 (ALOAD_0))
 +        (24
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (27 (ICONST_1))
 +        (28 (ISUB))
 +        (29 (GOTO 33))
 +        (32 (ILOAD_2))
 +        (33 (IADD))
 +        (34 (ISTORE 5))
 +        (36 (GOTO 59))
 +        (39 (ALOAD 4))
 +        (41 (ILOAD 5))
 +        (43 (CALOAD))
 +        (44 (ILOAD_1))
 +        (45 (IF_ICMPNE 56))
 +        (48 (ILOAD 5))
 +        (50 (ALOAD_0))
 +        (51
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (54 (ISUB))
 +        (55 (IRETURN))
 +        (56 (IINC 5 -1))
 +        (59 (ILOAD 5))
 +        (61 (ILOAD_3))
 +        (62 (IF_ICMPGE 39))
 +        (65 (ICONST_M1))
 +        (66 (IRETURN))
 +        (ENDOFCODE 67))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +            (32 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT INT (ARRAY CHAR)
 +                               TOP)
 +                       ​(STACK INT)
 +                       NIL))
 +            (33 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT INT (ARRAY CHAR)
 +                               TOP)
 +                       ​(STACK INT INT)
 +                       NIL))
 +            (39 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT INT (ARRAY CHAR)
 +                               INT)
 +                       ​(STACK)
 +                       NIL))
 +            (56 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT INT (ARRAY CHAR)
 +                               INT)
 +                       ​(STACK)
 +                       NIL))
 +            (59 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT INT (ARRAY CHAR)
 +                               INT)
 +                       ​(STACK)
 +                       ​NIL)))))
 +     ​(METHOD
 +      "​indexOf"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE INT)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 7)
 +       ​(PARSEDCODE
 +          (0 (ALOAD_0))
 +          (1 (ALOAD_1))
 +          (2 (ICONST_0))
 +          (3 (INVOKEVIRTUAL
 +                  (METHODCP "​indexOf"​ "​java.lang.String"​
 +                            ((CLASS "​java.lang.String"​) INT)
 +                            INT)))
 +          (6 (IRETURN))
 +          (ENDOFCODE 7))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​indexOf"​
 +      (PARAMETERS (CLASS "​java.lang.String"​)
 +                  INT)
 +      (RETURNTYPE INT)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 12)
 +       ​(CODE_LENGTH 189)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (4 (ASTORE_3))
 +        (5 (ALOAD_1))
 +        (6
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (9 (ASTORE 4))
 +        (11 (ALOAD_0))
 +        (12
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (15 (ALOAD_0))
 +        (16
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (19 (ALOAD_1))
 +        (20
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (23 (ISUB))
 +        (24 (IADD))
 +        (25 (ISTORE 5))
 +        (27 (ILOAD_2))
 +        (28 (ALOAD_0))
 +        (29
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (32 (IF_ICMPLT 57))
 +        (35 (ALOAD_0))
 +        (36
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (39 (IFNE 55))
 +        (42 (ILOAD_2))
 +        (43 (IFNE 55))
 +        (46 (ALOAD_1))
 +        (47
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (50 (IFNE 55))
 +        (53 (ICONST_0))
 +        (54 (IRETURN))
 +        (55 (ICONST_M1))
 +        (56 (IRETURN))
 +        (57 (ILOAD_2))
 +        (58 (IFGE 63))
 +        (61 (ICONST_0))
 +        (62 (ISTORE_2))
 +        (63 (ALOAD_1))
 +        (64
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (67 (IFNE 72))
 +        (70 (ILOAD_2))
 +        (71 (IRETURN))
 +        (72 (ALOAD_1))
 +        (73
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (76 (ISTORE 6))
 +        (78 (ALOAD 4))
 +        (80 (ILOAD 6))
 +        (82 (CALOAD))
 +        (83 (ISTORE 7))
 +        (85 (ALOAD_0))
 +        (86
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (89 (ILOAD_2))
 +        (90 (IADD))
 +        (91 (ISTORE 8))
 +        (93 (GOTO 99))
 +        (96 (IINC 8 1))
 +        (99 (ILOAD 8))
 +        (101 (ILOAD 5))
 +        (103 (IF_ICMPGT 115))
 +        (106 (ALOAD_3))
 +        (107 (ILOAD 8))
 +        (109 (CALOAD))
 +        (110 (ILOAD 7))
 +        (112 (IF_ICMPNE 96))
 +        (115 (ILOAD 8))
 +        (117 (ILOAD 5))
 +        (119 (IF_ICMPLE 124))
 +        (122 (ICONST_M1))
 +        (123 (IRETURN))
 +        (124 (ILOAD 8))
 +        (126 (ICONST_1))
 +        (127 (IADD))
 +        (128 (ISTORE 9))
 +        (130 (ILOAD 9))
 +        (132 (ALOAD_1))
 +        (133
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (136 (IADD))
 +        (137 (ICONST_1))
 +        (138 (ISUB))
 +        (139 (ISTORE 10))
 +        (141 (ILOAD 6))
 +        (143 (ICONST_1))
 +        (144 (IADD))
 +        (145 (ISTORE 11))
 +        (147 (GOTO 174))
 +        (150 (ALOAD_3))
 +        (151 (ILOAD 9))
 +        (153 (IINC 9 1))
 +        (156 (CALOAD))
 +        (157 (ALOAD 4))
 +        (159 (ILOAD 11))
 +        (161 (IINC 11 1))
 +        (164 (CALOAD))
 +        (165 (IF_ICMPEQ 174))
 +        (168 (IINC 8 1))
 +        (171 (GOTO 99))
 +        (174 (ILOAD 9))
 +        (176 (ILOAD 10))
 +        (178 (IF_ICMPLT 150))
 +        (181 (ILOAD 8))
 +        (183 (ALOAD_0))
 +        (184
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (187 (ISUB))
 +        (188 (IRETURN))
 +        (ENDOFCODE 189))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +            (55 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               ​(CLASS "​java.lang.String"​)
 +                               INT (ARRAY CHAR)
 +                               ​(ARRAY CHAR)
 +                               INT TOP TOP TOP TOP TOP TOP)
 +                       ​(STACK)
 +                       NIL))
 +            (57 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               ​(CLASS "​java.lang.String"​)
 +                               INT (ARRAY CHAR)
 +                               ​(ARRAY CHAR)
 +                               INT TOP TOP TOP TOP TOP TOP)
 +                       ​(STACK)
 +                       NIL))
 +            (63 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               ​(CLASS "​java.lang.String"​)
 +                               INT (ARRAY CHAR)
 +                               ​(ARRAY CHAR)
 +                               INT TOP TOP TOP TOP TOP TOP)
 +                       ​(STACK)
 +                       NIL))
 +            (72 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               ​(CLASS "​java.lang.String"​)
 +                               INT (ARRAY CHAR)
 +                               ​(ARRAY CHAR)
 +                               INT TOP TOP TOP TOP TOP TOP)
 +                       ​(STACK)
 +                       NIL))
 +            (96 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               ​(CLASS "​java.lang.String"​)
 +                               INT (ARRAY CHAR)
 +                               ​(ARRAY CHAR)
 +                               INT INT INT INT TOP TOP TOP)
 +                       ​(STACK)
 +                       NIL))
 +            (99 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               ​(CLASS "​java.lang.String"​)
 +                               INT (ARRAY CHAR)
 +                               ​(ARRAY CHAR)
 +                               INT INT INT INT TOP TOP TOP)
 +                       ​(STACK)
 +                       NIL))
 +            (115 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                                (CLASS "​java.lang.String"​)
 +                                INT (ARRAY CHAR)
 +                                (ARRAY CHAR)
 +                                INT INT INT INT TOP TOP TOP)
 +                        (STACK)
 +                        NIL))
 +            (124 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                                (CLASS "​java.lang.String"​)
 +                                INT (ARRAY CHAR)
 +                                (ARRAY CHAR)
 +                                INT INT INT INT TOP TOP TOP)
 +                        (STACK)
 +                        NIL))
 +            (150 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                                (CLASS "​java.lang.String"​)
 +                                INT (ARRAY CHAR)
 +                                (ARRAY CHAR)
 +                                INT INT INT INT INT INT INT)
 +                        (STACK)
 +                        NIL))
 +            (174 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                                (CLASS "​java.lang.String"​)
 +                                INT (ARRAY CHAR)
 +                                (ARRAY CHAR)
 +                                INT INT INT INT INT INT INT)
 +                        (STACK)
 +                        NIL)))))
 +     ​(METHOD
 +      "​substring"​ (PARAMETERS INT)
 +      (RETURNTYPE (CLASS "​java.lang.String"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 10)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (ILOAD_1))
 +        (2 (ALOAD_0))
 +        (3
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (6
 +         ​(INVOKEVIRTUAL
 +          (METHODCP "​substring"​ "​java.lang.String"​ (INT INT)
 +                    (CLASS "​java.lang.String"​))))
 +        (9 (ARETURN))
 +        (ENDOFCODE 10))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​substring"​ (PARAMETERS INT INT)
 +      (RETURNTYPE (CLASS "​java.lang.String"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 5)
 +       ​(JVM::​MAX_LOCALS 3)
 +       ​(CODE_LENGTH 83)
 +       ​(PARSEDCODE
 +        (0 (ILOAD_1))
 +        (1 (IFGE 13))
 +        (4
 +         (NEW
 +          (CLASS
 +              "​java.lang.StringIndexOutOfBoundsException"​)))
 +        (7 (DUP))
 +        (8 (ILOAD_1))
 +        (9
 +         ​(INVOKESPECIAL
 +            (METHODCP
 +                 "<​init>"​
 +                 "​java.lang.StringIndexOutOfBoundsException"​
 +                 (INT)
 +                 ​VOID)))
 +        (12 (ATHROW))
 +        (13 (ILOAD_2))
 +        (14 (ALOAD_0))
 +        (15
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (18 (IF_ICMPLE 30))
 +        (21
 +         (NEW
 +          (CLASS
 +              "​java.lang.StringIndexOutOfBoundsException"​)))
 +        (24 (DUP))
 +        (25 (ILOAD_2))
 +        (26
 +         ​(INVOKESPECIAL
 +            (METHODCP
 +                 "<​init>"​
 +                 "​java.lang.StringIndexOutOfBoundsException"​
 +                 (INT)
 +                 ​VOID)))
 +        (29 (ATHROW))
 +        (30 (ILOAD_1))
 +        (31 (ILOAD_2))
 +        (32 (IF_ICMPLE 46))
 +        (35
 +         (NEW
 +          (CLASS
 +              "​java.lang.StringIndexOutOfBoundsException"​)))
 +        (38 (DUP))
 +        (39 (ILOAD_2))
 +        (40 (ILOAD_1))
 +        (41 (ISUB))
 +        (42
 +         ​(INVOKESPECIAL
 +            (METHODCP
 +                 "<​init>"​
 +                 "​java.lang.StringIndexOutOfBoundsException"​
 +                 (INT)
 +                 ​VOID)))
 +        (45 (ATHROW))
 +        (46 (ILOAD_1))
 +        (47 (IFNE 62))
 +        (50 (ILOAD_2))
 +        (51 (ALOAD_0))
 +        (52
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (55 (IF_ICMPNE 62))
 +        (58 (ALOAD_0))
 +        (59 (GOTO 82))
 +        (62 (NEW (CLASS "​java.lang.String"​)))
 +        (65 (DUP))
 +        (66 (ALOAD_0))
 +        (67
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (70 (ILOAD_1))
 +        (71 (IADD))
 +        (72 (ILOAD_2))
 +        (73 (ILOAD_1))
 +        (74 (ISUB))
 +        (75 (ALOAD_0))
 +        (76
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (79 (INVOKESPECIAL
 +                 ​(METHODCP "<​init>"​ "​java.lang.String"​
 +                           (INT INT (ARRAY CHAR))
 +                           ​VOID)))
 +        (82 (ARETURN))
 +        (ENDOFCODE 83))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +            (13 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT)
 +                       ​(STACK)
 +                       NIL))
 +            (30 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT)
 +                       ​(STACK)
 +                       NIL))
 +            (46 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT)
 +                       ​(STACK)
 +                       NIL))
 +            (62 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT)
 +                       ​(STACK)
 +                       NIL))
 +            (82 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT)
 +                       ​(STACK (CLASS "​java.lang.String"​))
 +                       ​NIL)))))
 +     ​(METHOD
 +      "​concat"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE (CLASS "​java.lang.String"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 5)
 +       ​(JVM::​MAX_LOCALS 4)
 +       ​(CODE_LENGTH 58)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_1))
 +        (1
 +         ​(INVOKEVIRTUAL
 +            (METHODCP "​length"​ "​java.lang.String"​ NIL INT)))
 +        (4 (ISTORE_2))
 +        (5 (ILOAD_2))
 +        (6 (IFNE 11))
 +        (9 (ALOAD_0))
 +        (10 (ARETURN))
 +        (11 (ALOAD_0))
 +        (12
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (15 (ILOAD_2))
 +        (16 (IADD))
 +        (17 (NEWARRAY CHAR))
 +        (19 (ASTORE_3))
 +        (20 (ALOAD_0))
 +        (21 (ICONST_0))
 +        (22 (ALOAD_0))
 +        (23
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (26 (ALOAD_3))
 +        (27 (ICONST_0))
 +        (28 (INVOKEVIRTUAL
 +                 ​(METHODCP "​getChars"​ "​java.lang.String"​
 +                           (INT INT (ARRAY CHAR) INT)
 +                           ​VOID)))
 +        (31 (ALOAD_1))
 +        (32 (ICONST_0))
 +        (33 (ILOAD_2))
 +        (34 (ALOAD_3))
 +        (35 (ALOAD_0))
 +        (36
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (39 (INVOKEVIRTUAL
 +                 ​(METHODCP "​getChars"​ "​java.lang.String"​
 +                           (INT INT (ARRAY CHAR) INT)
 +                           ​VOID)))
 +        (42 (NEW (CLASS "​java.lang.String"​)))
 +        (45 (DUP))
 +        (46 (ICONST_0))
 +        (47 (ALOAD_0))
 +        (48
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (51 (ILOAD_2))
 +        (52 (IADD))
 +        (53 (ALOAD_3))
 +        (54 (INVOKESPECIAL
 +                 ​(METHODCP "<​init>"​ "​java.lang.String"​
 +                           (INT INT (ARRAY CHAR))
 +                           ​VOID)))
 +        (57 (ARETURN))
 +        (ENDOFCODE 58))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +            (11 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               ​(CLASS "​java.lang.String"​)
 +                               INT TOP)
 +                       ​(STACK)
 +                       ​NIL)))))
 +     ​(METHOD
 +      "​replace"​ (PARAMETERS CHAR CHAR)
 +      (RETURNTYPE (CLASS "​java.lang.String"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 5)
 +       ​(JVM::​MAX_LOCALS 10)
 +       ​(CODE_LENGTH 145)
 +       ​(PARSEDCODE
 +        (0 (ILOAD_1))
 +        (1 (ILOAD_2))
 +        (2 (IF_ICMPEQ 143))
 +        (5 (ALOAD_0))
 +        (6
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (9 (ISTORE_3))
 +        (10 (ICONST_M1))
 +        (11 (ISTORE 4))
 +        (13 (ALOAD_0))
 +        (14
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (17 (ASTORE 5))
 +        (19 (ALOAD_0))
 +        (20
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (23 (ISTORE 6))
 +        (25 (GOTO 43))
 +        (28 (ALOAD 5))
 +        (30 (ILOAD 6))
 +        (32 (ILOAD 4))
 +        (34 (IADD))
 +        (35 (CALOAD))
 +        (36 (ILOAD_1))
 +        (37 (IF_ICMPNE 43))
 +        (40 (GOTO 52))
 +        (43 (IINC 4 1))
 +        (46 (ILOAD 4))
 +        (48 (ILOAD_3))
 +        (49 (IF_ICMPLT 28))
 +        (52 (ILOAD 4))
 +        (54 (ILOAD_3))
 +        (55 (IF_ICMPGE 143))
 +        (58 (ILOAD_3))
 +        (59 (NEWARRAY CHAR))
 +        (61 (ASTORE 7))
 +        (63 (ICONST_0))
 +        (64 (ISTORE 8))
 +        (66 (GOTO 85))
 +        (69 (ALOAD 7))
 +        (71 (ILOAD 8))
 +        (73 (ALOAD 5))
 +        (75 (ILOAD 6))
 +        (77 (ILOAD 8))
 +        (79 (IADD))
 +        (80 (CALOAD))
 +        (81 (CASTORE))
 +        (82 (IINC 8 1))
 +        (85 (ILOAD 8))
 +        (87 (ILOAD 4))
 +        (89 (IF_ICMPLT 69))
 +        (92 (GOTO 125))
 +        (95 (ALOAD 5))
 +        (97 (ILOAD 6))
 +        (99 (ILOAD 4))
 +        (101 (IADD))
 +        (102 (CALOAD))
 +        (103 (ISTORE 9))
 +        (105 (ALOAD 7))
 +        (107 (ILOAD 4))
 +        (109 (ILOAD 9))
 +        (111 (ILOAD_1))
 +        (112 (IF_ICMPNE 119))
 +        (115 (ILOAD_2))
 +        (116 (GOTO 121))
 +        (119 (ILOAD 9))
 +        (121 (CASTORE))
 +        (122 (IINC 4 1))
 +        (125 (ILOAD 4))
 +        (127 (ILOAD_3))
 +        (128 (IF_ICMPLT 95))
 +        (131 (NEW (CLASS "​java.lang.String"​)))
 +        (134 (DUP))
 +        (135 (ICONST_0))
 +        (136 (ILOAD_3))
 +        (137 (ALOAD 7))
 +        (139 (INVOKESPECIAL
 +                  (METHODCP "<​init>"​ "​java.lang.String"​
 +                            (INT INT (ARRAY CHAR))
 +                            VOID)))
 +        (142 (ARETURN))
 +        (143 (ALOAD_0))
 +        (144 (ARETURN))
 +        (ENDOFCODE 145))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +        (28 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                           INT INT INT INT (ARRAY CHAR)
 +                           INT TOP TOP TOP)
 +                   ​(STACK)
 +                   NIL))
 +        (43 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                           INT INT INT INT (ARRAY CHAR)
 +                           INT TOP TOP TOP)
 +                   ​(STACK)
 +                   NIL))
 +        (52 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                           INT INT INT INT (ARRAY CHAR)
 +                           INT TOP TOP TOP)
 +                   ​(STACK)
 +                   NIL))
 +        (69 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                           INT INT INT INT (ARRAY CHAR)
 +                           INT (ARRAY CHAR)
 +                           INT TOP)
 +                   ​(STACK)
 +                   NIL))
 +        (85 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                           INT INT INT INT (ARRAY CHAR)
 +                           INT (ARRAY CHAR)
 +                           INT TOP)
 +                   ​(STACK)
 +                   NIL))
 +        (95 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                           INT INT INT INT (ARRAY CHAR)
 +                           INT (ARRAY CHAR)
 +                           INT TOP)
 +                   ​(STACK)
 +                   NIL))
 +        (119 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                            INT INT INT INT (ARRAY CHAR)
 +                            INT (ARRAY CHAR)
 +                            INT INT)
 +                    (STACK INT (ARRAY CHAR))
 +                    NIL))
 +        (121 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                            INT INT INT INT (ARRAY CHAR)
 +                            INT (ARRAY CHAR)
 +                            INT INT)
 +                    (STACK INT INT (ARRAY CHAR))
 +                    NIL))
 +        (125 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                            INT INT INT INT (ARRAY CHAR)
 +                            INT (ARRAY CHAR)
 +                            INT TOP)
 +                    (STACK)
 +                    NIL))
 +        (143
 +         ​(FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                        INT INT TOP TOP TOP TOP TOP TOP TOP)
 +                (STACK)
 +                NIL)))))
 +     ​(METHOD
 +      "​toLowerCase"​ (PARAMETERS)
 +      (RETURNTYPE (CLASS "​java.lang.String"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 5)
 +       ​(JVM::​MAX_LOCALS 3)
 +       ​(CODE_LENGTH 54)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (4 (NEWARRAY CHAR))
 +        (6 (ASTORE_1))
 +        (7 (ICONST_0))
 +        (8 (ISTORE_2))
 +        (9 (GOTO 32))
 +        (12 (ALOAD_1))
 +        (13 (ILOAD_2))
 +        (14 (ALOAD_0))
 +        (15
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (18 (ALOAD_0))
 +        (19
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (22 (ILOAD_2))
 +        (23 (IADD))
 +        (24 (CALOAD))
 +        (25 (INVOKESTATIC
 +                 ​(METHODCP "​toLowerCase"​
 +                           "​java.lang.Character"​ (CHAR)
 +                           ​CHAR)))
 +        (28 (CASTORE))
 +        (29 (IINC 2 1))
 +        (32 (ILOAD_2))
 +        (33 (ALOAD_0))
 +        (34
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (37 (IF_ICMPLT 12))
 +        (40 (NEW (CLASS "​java.lang.String"​)))
 +        (43 (DUP))
 +        (44 (ICONST_0))
 +        (45 (ALOAD_0))
 +        (46
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (49 (ALOAD_1))
 +        (50 (INVOKESPECIAL
 +                 ​(METHODCP "<​init>"​ "​java.lang.String"​
 +                           (INT INT (ARRAY CHAR))
 +                           ​VOID)))
 +        (53 (ARETURN))
 +        (ENDOFCODE 54))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +            (12 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               ​(ARRAY CHAR)
 +                               INT)
 +                       ​(STACK)
 +                       NIL))
 +            (32 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               ​(ARRAY CHAR)
 +                               INT)
 +                       ​(STACK)
 +                       ​NIL)))))
 +     ​(METHOD
 +      "​toUpperCase"​ (PARAMETERS)
 +      (RETURNTYPE (CLASS "​java.lang.String"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 5)
 +       ​(JVM::​MAX_LOCALS 3)
 +       ​(CODE_LENGTH 54)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (4 (NEWARRAY CHAR))
 +        (6 (ASTORE_1))
 +        (7 (ICONST_0))
 +        (8 (ISTORE_2))
 +        (9 (GOTO 32))
 +        (12 (ALOAD_1))
 +        (13 (ILOAD_2))
 +        (14 (ALOAD_0))
 +        (15
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (18 (ALOAD_0))
 +        (19
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (22 (ILOAD_2))
 +        (23 (IADD))
 +        (24 (CALOAD))
 +        (25 (INVOKESTATIC
 +                 ​(METHODCP "​toUpperCase"​
 +                           "​java.lang.Character"​ (CHAR)
 +                           ​CHAR)))
 +        (28 (CASTORE))
 +        (29 (IINC 2 1))
 +        (32 (ILOAD_2))
 +        (33 (ALOAD_0))
 +        (34
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (37 (IF_ICMPLT 12))
 +        (40 (NEW (CLASS "​java.lang.String"​)))
 +        (43 (DUP))
 +        (44 (ICONST_0))
 +        (45 (ALOAD_0))
 +        (46
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (49 (ALOAD_1))
 +        (50 (INVOKESPECIAL
 +                 ​(METHODCP "<​init>"​ "​java.lang.String"​
 +                           (INT INT (ARRAY CHAR))
 +                           ​VOID)))
 +        (53 (ARETURN))
 +        (ENDOFCODE 54))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +            (12 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               ​(ARRAY CHAR)
 +                               INT)
 +                       ​(STACK)
 +                       NIL))
 +            (32 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               ​(ARRAY CHAR)
 +                               INT)
 +                       ​(STACK)
 +                       ​NIL)))))
 +     ​(METHOD
 +      "​trim"​ (PARAMETERS)
 +      (RETURNTYPE (CLASS "​java.lang.String"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 5)
 +       ​(CODE_LENGTH 87)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (4 (ISTORE_1))
 +        (5 (ICONST_0))
 +        (6 (ISTORE_2))
 +        (7 (ALOAD_0))
 +        (8
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​offset"​ "​java.lang.String"​ INT)))
 +        (11 (ISTORE_3))
 +        (12 (ALOAD_0))
 +        (13
 +         ​(GETFIELD
 +            (JVM::​FIELDCP "​value"​
 +                          "​java.lang.String"​ (ARRAY CHAR))))
 +        (16 (ASTORE 4))
 +        (18 (GOTO 24))
 +        (21 (IINC 2 1))
 +        (24 (ILOAD_2))
 +        (25 (ILOAD_1))
 +        (26 (IF_ICMPGE 46))
 +        (29 (ALOAD 4))
 +        (31 (ILOAD_3))
 +        (32 (ILOAD_2))
 +        (33 (IADD))
 +        (34 (CALOAD))
 +        (35 (BIPUSH 32))
 +        (37 (IF_ICMPLE 21))
 +        (40 (GOTO 46))
 +        (43 (IINC 1 -1))
 +        (46 (ILOAD_2))
 +        (47 (ILOAD_1))
 +        (48 (IF_ICMPGE 64))
 +        (51 (ALOAD 4))
 +        (53 (ILOAD_3))
 +        (54 (ILOAD_1))
 +        (55 (IADD))
 +        (56 (ICONST_1))
 +        (57 (ISUB))
 +        (58 (CALOAD))
 +        (59 (BIPUSH 32))
 +        (61 (IF_ICMPLE 43))
 +        (64 (ILOAD_2))
 +        (65 (IFGT 76))
 +        (68 (ILOAD_1))
 +        (69 (ALOAD_0))
 +        (70
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (73 (IF_ICMPGE 85))
 +        (76 (ALOAD_0))
 +        (77 (ILOAD_2))
 +        (78 (ILOAD_1))
 +        (79
 +         ​(INVOKEVIRTUAL
 +          (METHODCP "​substring"​ "​java.lang.String"​ (INT INT)
 +                    (CLASS "​java.lang.String"​))))
 +        (82 (GOTO 86))
 +        (85 (ALOAD_0))
 +        (86 (ARETURN))
 +        (ENDOFCODE 87))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +            (21 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT INT (ARRAY CHAR))
 +                       ​(STACK)
 +                       NIL))
 +            (24 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT INT (ARRAY CHAR))
 +                       ​(STACK)
 +                       NIL))
 +            (43 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT INT (ARRAY CHAR))
 +                       ​(STACK)
 +                       NIL))
 +            (46 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT INT (ARRAY CHAR))
 +                       ​(STACK)
 +                       NIL))
 +            (64 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT INT (ARRAY CHAR))
 +                       ​(STACK)
 +                       NIL))
 +            (76 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT INT (ARRAY CHAR))
 +                       ​(STACK)
 +                       NIL))
 +            (85 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT INT (ARRAY CHAR))
 +                       ​(STACK)
 +                       NIL))
 +            (86 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT INT (ARRAY CHAR))
 +                       ​(STACK (CLASS "​java.lang.String"​))
 +                       ​NIL)))))
 +     ​(METHOD "​toString"​ (PARAMETERS)
 +             ​(RETURNTYPE (CLASS "​java.lang.String"​))
 +             ​(ACCESSFLAGS *CLASS* *PUBLIC*)
 +             (CODE (MAX_STACK 1)
 +                   ​(JVM::​MAX_LOCALS 1)
 +                   ​(CODE_LENGTH 2)
 +                   ​(PARSEDCODE (0 (ALOAD_0))
 +                               (1 (ARETURN))
 +                               ​(ENDOFCODE 2))
 +                   ​(EXCEPTIONS)
 +                   ​(STACKMAP)))
 +     ​(METHOD
 +      "​toCharArray"​ (PARAMETERS)
 +      (RETURNTYPE (ARRAY CHAR))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 5)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 20)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (4 (NEWARRAY CHAR))
 +        (6 (ASTORE_1))
 +        (7 (ALOAD_0))
 +        (8 (ICONST_0))
 +        (9 (ALOAD_0))
 +        (10
 +         ​(GETFIELD
 +             ​(JVM::​FIELDCP "​count"​ "​java.lang.String"​ INT)))
 +        (13 (ALOAD_1))
 +        (14 (ICONST_0))
 +        (15 (INVOKEVIRTUAL
 +                 ​(METHODCP "​getChars"​ "​java.lang.String"​
 +                           (INT INT (ARRAY CHAR) INT)
 +                           ​VOID)))
 +        (18 (ALOAD_1))
 +        (19 (ARETURN))
 +        (ENDOFCODE 20))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​valueOf"​
 +      (PARAMETERS (CLASS "​java.lang.Object"​))
 +      (RETURNTYPE (CLASS "​java.lang.String"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *STATIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 14)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (IFNONNULL 9))
 +        (4 (LDC 0))
 +        (6 (GOTO 13))
 +        (9 (ALOAD_0))
 +        (10 (INVOKEVIRTUAL
 +                 ​(METHODCP "​toString"​ "​java.lang.Object"​
 +                           NIL (CLASS "​java.lang.String"​))))
 +        (13 (ARETURN))
 +        (ENDOFCODE 14))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +            (9 (FRAME (LOCALS (CLASS "​java.lang.Object"​))
 +                      (STACK)
 +                      NIL))
 +            (13 (FRAME (LOCALS (CLASS "​java.lang.Object"​))
 +                       ​(STACK (CLASS "​java.lang.String"​))
 +                       ​NIL)))))
 +     ​(METHOD
 +      "​valueOf"​ (PARAMETERS (ARRAY CHAR))
 +      (RETURNTYPE (CLASS "​java.lang.String"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *STATIC*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 9)
 +       ​(PARSEDCODE
 +         (0 (NEW (CLASS "​java.lang.String"​)))
 +         (3 (DUP))
 +         (4 (ALOAD_0))
 +         (5 (INVOKESPECIAL
 +                 ​(METHODCP "<​init>"​
 +                           "​java.lang.String"​ ((ARRAY CHAR))
 +                           ​VOID)))
 +         (8 (ARETURN))
 +         ​(ENDOFCODE 9))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​valueOf"​
 +      (PARAMETERS (ARRAY CHAR) INT INT)
 +      (RETURNTYPE (CLASS "​java.lang.String"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *STATIC*)
 +      (CODE
 +          (MAX_STACK 5)
 +          (JVM::​MAX_LOCALS 3)
 +          (CODE_LENGTH 11)
 +          (PARSEDCODE
 +               (0 (NEW (CLASS "​java.lang.String"​)))
 +               (3 (DUP))
 +               (4 (ALOAD_0))
 +               (5 (ILOAD_1))
 +               (6 (ILOAD_2))
 +               (7 (INVOKESPECIAL
 +                       ​(METHODCP "<​init>"​ "​java.lang.String"​
 +                                 ​((ARRAY CHAR) INT INT)
 +                                 ​VOID)))
 +               (10 (ARETURN))
 +               ​(ENDOFCODE 11))
 +          (EXCEPTIONS)
 +          (STACKMAP)))
 +     ​(METHOD
 +      "​valueOf"​ (PARAMETERS BOOLEAN)
 +      (RETURNTYPE (CLASS "​java.lang.String"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *STATIC*)
 +      (CODE
 +          (MAX_STACK 1)
 +          (JVM::​MAX_LOCALS 1)
 +          (CODE_LENGTH 12)
 +          (PARSEDCODE (0 (ILOAD_0))
 +                      (1 (IFEQ 9))
 +                      (4 (LDC 1))
 +                      (6 (GOTO 11))
 +                      (9 (LDC 2))
 +                      (11 (ARETURN))
 +                      (ENDOFCODE 12))
 +          (EXCEPTIONS)
 +          (STACKMAP
 +               (9 (FRAME (LOCALS INT) (STACK) NIL))
 +               (11 (FRAME (LOCALS INT)
 +                          (STACK (CLASS "​java.lang.String"​))
 +                          NIL)))))
 +     ​(METHOD
 +      "​valueOf"​ (PARAMETERS CHAR)
 +      (RETURNTYPE (CLASS "​java.lang.String"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *STATIC*)
 +      (CODE
 +         ​(MAX_STACK 5)
 +         ​(JVM::​MAX_LOCALS 2)
 +         ​(CODE_LENGTH 19)
 +         ​(PARSEDCODE
 +              (0 (ICONST_1))
 +              (1 (NEWARRAY CHAR))
 +              (3 (DUP))
 +              (4 (ICONST_0))
 +              (5 (ILOAD_0))
 +              (6 (CASTORE))
 +              (7 (ASTORE_1))
 +              (8 (NEW (CLASS "​java.lang.String"​)))
 +              (11 (DUP))
 +              (12 (ICONST_0))
 +              (13 (ICONST_1))
 +              (14 (ALOAD_1))
 +              (15 (INVOKESPECIAL
 +                       ​(METHODCP "<​init>"​ "​java.lang.String"​
 +                                 (INT INT (ARRAY CHAR))
 +                                 ​VOID)))
 +              (18 (ARETURN))
 +              (ENDOFCODE 19))
 +         ​(EXCEPTIONS)
 +         ​(STACKMAP)))
 +     ​(METHOD
 +      "​valueOf"​ (PARAMETERS INT)
 +      (RETURNTYPE (CLASS "​java.lang.String"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *STATIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 7)
 +       ​(PARSEDCODE
 +        (0 (ILOAD_0))
 +        (1 (BIPUSH 10))
 +        (3
 +         ​(INVOKESTATIC
 +          (METHODCP "​toString"​ "​java.lang.Integer"​ (INT INT)
 +                    (CLASS "​java.lang.String"​))))
 +        (6 (ARETURN))
 +        (ENDOFCODE 7))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​valueOf"​ (PARAMETERS LONG)
 +      (RETURNTYPE (CLASS "​java.lang.String"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *STATIC*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 7)
 +       ​(PARSEDCODE
 +        (0 (JVM::​LLOAD_0))
 +        (1 (BIPUSH 10))
 +        (3
 +         ​(INVOKESTATIC
 +            (METHODCP "​toString"​ "​java.lang.Long"​ (LONG INT)
 +                      (CLASS "​java.lang.String"​))))
 +        (6 (ARETURN))
 +        (ENDOFCODE 7))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP))))
 +    (INTERFACES)
 +    (ACCESSFLAGS *CLASS* *FINAL*
 +                 ​*PUBLIC* *SUPER* *SYNCHRONIZED*))
 +   ​(CLASS
 +    "​java.lang.Class"​ "​java.lang.Object"​
 +    (JVM::​CONSTANT_POOL (STRING "​interface ")
 +                        (STRING "class ")
 +                        (STRING "​resource:"​))
 +    (FIELDS)
 +    (METHODS
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PRIVATE*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 5)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(INVOKESPECIAL
 +           ​(METHODCP "<​init>"​ "​java.lang.Object"​ NIL VOID)))
 +        (4 (RETURN))
 +        (ENDOFCODE 5))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​toString"​ (PARAMETERS)
 +      (RETURNTYPE (CLASS "​java.lang.String"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 35)
 +       ​(PARSEDCODE
 +        (0 (NEW (CLASS "​java.lang.StringBuffer"​)))
 +        (3 (DUP))
 +        (4
 +         ​(INVOKESPECIAL
 +              (METHODCP "<​init>"​
 +                        "​java.lang.StringBuffer"​ NIL VOID)))
 +        (7 (ALOAD_0))
 +        (8 (INVOKEVIRTUAL
 +                (METHODCP "​isInterface"​
 +                          "​java.lang.Class"​ NIL BOOLEAN)))
 +        (11 (IFEQ 19))
 +        (14 (LDC 0))
 +        (16 (GOTO 21))
 +        (19 (LDC 1))
 +        (21
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​append"​ "​java.lang.StringBuffer"​
 +                         ​((CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (24 (ALOAD_0))
 +        (25 (INVOKEVIRTUAL
 +                 ​(METHODCP "​getName"​ "​java.lang.Class"​
 +                           NIL (CLASS "​java.lang.String"​))))
 +        (28
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​append"​ "​java.lang.StringBuffer"​
 +                         ​((CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (31
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​toString"​ "​java.lang.StringBuffer"​
 +                         NIL (CLASS "​java.lang.String"​))))
 +        (34 (ARETURN))
 +        (ENDOFCODE 35))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +         (19 (FRAME (LOCALS (CLASS "​java.lang.Class"​))
 +                    (STACK (CLASS "​java.lang.StringBuffer"​))
 +                    NIL))
 +         (21 (FRAME (LOCALS (CLASS "​java.lang.Class"​))
 +                    (STACK (CLASS "​java.lang.String"​)
 +                           ​(CLASS "​java.lang.StringBuffer"​))
 +                    NIL)))))
 +     ​(METHOD
 +          "​forName"​
 +          (PARAMETERS (CLASS "​java.lang.String"​))
 +          (RETURNTYPE (CLASS "​java.lang.Class"​))
 +          (ACCESSFLAGS *CLASS* *NATIVE* *PUBLIC* *STATIC*)
 +          (CODE))
 +     ​(METHOD "​newInstance"​ (PARAMETERS)
 +             ​(RETURNTYPE (CLASS "​java.lang.Object"​))
 +             ​(ACCESSFLAGS *CLASS* *NATIVE* *PUBLIC*)
 +             ​(CODE))
 +     ​(METHOD "​isInstance"​
 +             ​(PARAMETERS (CLASS "​java.lang.Object"​))
 +             ​(RETURNTYPE BOOLEAN)
 +             ​(ACCESSFLAGS *CLASS* *NATIVE* *PUBLIC*)
 +             ​(CODE))
 +     ​(METHOD "​isAssignableFrom"​
 +             ​(PARAMETERS (CLASS "​java.lang.Class"​))
 +             ​(RETURNTYPE BOOLEAN)
 +             ​(ACCESSFLAGS *CLASS* *NATIVE* *PUBLIC*)
 +             ​(CODE))
 +     ​(METHOD "​isInterface"​ (PARAMETERS)
 +             ​(RETURNTYPE BOOLEAN)
 +             ​(ACCESSFLAGS *CLASS* *NATIVE* *PUBLIC*)
 +             ​(CODE))
 +     ​(METHOD "​isArray"​ (PARAMETERS)
 +             ​(RETURNTYPE BOOLEAN)
 +             ​(ACCESSFLAGS *CLASS* *NATIVE* *PUBLIC*)
 +             ​(CODE))
 +     ​(METHOD "​getName"​ (PARAMETERS)
 +             ​(RETURNTYPE (CLASS "​java.lang.String"​))
 +             ​(ACCESSFLAGS *CLASS* *NATIVE* *PUBLIC*)
 +             ​(CODE))
 +     ​(METHOD
 +      "​getResourceAsStream"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE (CLASS "​java.io.InputStream"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 5)
 +       ​(JVM::​MAX_LOCALS 4)
 +       ​(CODE_LENGTH 101)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_1))
 +        (1
 +         ​(INVOKEVIRTUAL
 +            (METHODCP "​length"​ "​java.lang.String"​ NIL INT)))
 +        (4 (IFLE 26))
 +        (7 (ALOAD_1))
 +        (8 (ICONST_0))
 +        (9 (INVOKEVIRTUAL
 +                (METHODCP "​charAt"​ "​java.lang.String"​ (INT)
 +                          CHAR)))
 +        (12 (BIPUSH 47))
 +        (14 (IF_ICMPNE 26))
 +        (17 (ALOAD_1))
 +        (18 (ICONST_1))
 +        (19
 +         ​(INVOKEVIRTUAL
 +              (METHODCP "​substring"​ "​java.lang.String"​ (INT)
 +                        (CLASS "​java.lang.String"​))))
 +        (22 (ASTORE_1))
 +        (23 (GOTO 75))
 +        (26 (ALOAD_0))
 +        (27 (INVOKEVIRTUAL
 +                 ​(METHODCP "​getName"​ "​java.lang.Class"​
 +                           NIL (CLASS "​java.lang.String"​))))
 +        (30 (ASTORE_2))
 +        (31 (ALOAD_2))
 +        (32 (BIPUSH 46))
 +        (34
 +         ​(INVOKEVIRTUAL
 +            (METHODCP "​lastIndexOf"​ "​java.lang.String"​ (INT)
 +                      INT)))
 +        (37 (ISTORE_3))
 +        (38 (ILOAD_3))
 +        (39 (IFLT 75))
 +        (42 (NEW (CLASS "​java.lang.StringBuffer"​)))
 +        (45 (DUP))
 +        (46
 +         ​(INVOKESPECIAL
 +              (METHODCP "<​init>"​
 +                        "​java.lang.StringBuffer"​ NIL VOID)))
 +        (49 (ALOAD_2))
 +        (50 (ICONST_0))
 +        (51 (ILOAD_3))
 +        (52 (ICONST_1))
 +        (53 (IADD))
 +        (54
 +         ​(INVOKEVIRTUAL
 +          (METHODCP "​substring"​ "​java.lang.String"​ (INT INT)
 +                    (CLASS "​java.lang.String"​))))
 +        (57 (BIPUSH 46))
 +        (59 (BIPUSH 47))
 +        (61
 +         ​(INVOKEVIRTUAL
 +          (METHODCP "​replace"​ "​java.lang.String"​ (CHAR CHAR)
 +                    (CLASS "​java.lang.String"​))))
 +        (64
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​append"​ "​java.lang.StringBuffer"​
 +                         ​((CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (67 (ALOAD_1))
 +        (68
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​append"​ "​java.lang.StringBuffer"​
 +                         ​((CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (71
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​toString"​ "​java.lang.StringBuffer"​
 +                         NIL (CLASS "​java.lang.String"​))))
 +        (74 (ASTORE_1))
 +        (75 (NEW (CLASS "​java.lang.StringBuffer"​)))
 +        (78 (DUP))
 +        (79
 +         ​(INVOKESPECIAL
 +              (METHODCP "<​init>"​
 +                        "​java.lang.StringBuffer"​ NIL VOID)))
 +        (82 (LDC 2))
 +        (84
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​append"​ "​java.lang.StringBuffer"​
 +                         ​((CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (87 (ALOAD_1))
 +        (88
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​append"​ "​java.lang.StringBuffer"​
 +                         ​((CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (91
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​toString"​ "​java.lang.StringBuffer"​
 +                         NIL (CLASS "​java.lang.String"​))))
 +        (94 (INVOKESTATIC
 +                 ​(METHODCP "​openInputStream"​
 +                           "​javax.microedition.io.Connector"​
 +                           ​((CLASS "​java.lang.String"​))
 +                           ​(CLASS "​java.io.InputStream"​))))
 +        (97 (ARETURN))
 +        (98 (ASTORE_2))
 +        (99 (ACONST_NULL))
 +        (100 (ARETURN))
 +        (ENDOFCODE 101))
 +       ​(EXCEPTIONS
 +            (JVM::​HANDLER
 +                 0 98 98 (CLASS "​java.io.IOException"​)))
 +       ​(STACKMAP
 +            (26 (FRAME (LOCALS (CLASS "​java.lang.Class"​)
 +                               ​(CLASS "​java.lang.String"​)
 +                               TOP TOP)
 +                       ​(STACK)
 +                       NIL))
 +            (75 (FRAME (LOCALS (CLASS "​java.lang.Class"​)
 +                               ​(CLASS "​java.lang.String"​)
 +                               TOP TOP)
 +                       ​(STACK)
 +                       NIL))
 +            (98 (FRAME (LOCALS (CLASS "​java.lang.Class"​)
 +                               ​(CLASS "​java.lang.String"​)
 +                               TOP TOP)
 +                       ​(STACK (CLASS "​java.io.IOException"​))
 +                       ​NIL)))))
 +     ​(METHOD "​runCustomCode"​ (PARAMETERS)
 +             ​(RETURNTYPE VOID)
 +             ​(ACCESSFLAGS *CLASS* *PRIVATE* *STATIC*)
 +             (CODE (MAX_STACK 0)
 +                   ​(JVM::​MAX_LOCALS 0)
 +                   ​(CODE_LENGTH 1)
 +                   ​(PARSEDCODE (0 (RETURN)) (ENDOFCODE 1))
 +                   ​(EXCEPTIONS)
 +                   ​(STACKMAP))))
 +    (INTERFACES)
 +    (ACCESSFLAGS *CLASS* *FINAL*
 +                 ​*PUBLIC* *SUPER* *SYNCHRONIZED*))
 +   ​(CLASS
 +    "​java.lang.InterruptedException"​
 +    "​java.lang.Exception"​
 +    (JVM::​CONSTANT_POOL)
 +    (FIELDS)
 +    (METHODS
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 5)
 +       ​(PARSEDCODE
 +         (0 (ALOAD_0))
 +         (1 (INVOKESPECIAL
 +                 ​(METHODCP "<​init>"​
 +                           "​java.lang.Exception"​ NIL VOID)))
 +         (4 (RETURN))
 +         ​(ENDOFCODE 5))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 6)
 +       ​(PARSEDCODE
 +            (0 (ALOAD_0))
 +            (1 (ALOAD_1))
 +            (2 (INVOKESPECIAL
 +                    (METHODCP "<​init>"​ "​java.lang.Exception"​
 +                              ((CLASS "​java.lang.String"​))
 +                              VOID)))
 +            (5 (RETURN))
 +            (ENDOFCODE 6))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP))))
 +    (INTERFACES)
 +    (ACCESSFLAGS *CLASS*
 +                 ​*PUBLIC* *SUPER* *SYNCHRONIZED*))
 +   ​(CLASS
 +    "​java.lang.StringBuffer"​
 +    "​java.lang.Object"​
 +    (JVM::​CONSTANT_POOL (INT 2147483647)
 +                        (STRING "​srcBegin > srcEnd"​))
 +    (FIELDS (FIELD "​value"​ (ARRAY CHAR)
 +                   ​(ACCESSFLAGS *CLASS* *PRIVATE*)
 +                   -1)
 +            (FIELD "​count"​
 +                   INT (ACCESSFLAGS *CLASS* *PRIVATE*)
 +                   -1)
 +            (FIELD "​shared"​
 +                   ​BOOLEAN (ACCESSFLAGS *CLASS* *PRIVATE*)
 +                   -1))
 +    (METHODS
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 7)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (BIPUSH 16))
 +        (3
 +         ​(INVOKESPECIAL
 +           ​(METHODCP "<​init>"​ "​java.lang.StringBuffer"​ (INT)
 +                     ​VOID)))
 +        (6 (RETURN))
 +        (ENDOFCODE 7))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS INT)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 17)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(INVOKESPECIAL
 +           ​(METHODCP "<​init>"​ "​java.lang.Object"​ NIL VOID)))
 +        (4 (ALOAD_0))
 +        (5 (ILOAD_1))
 +        (6 (NEWARRAY CHAR))
 +        (8
 +          (PUTFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (11 (ALOAD_0))
 +        (12 (ICONST_0))
 +        (13
 +         ​(PUTFIELD
 +           ​(JVM::​FIELDCP "​shared"​
 +                         "​java.lang.StringBuffer"​ BOOLEAN)))
 +        (16 (RETURN))
 +        (ENDOFCODE 17))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 18)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (ALOAD_1))
 +        (2
 +         ​(INVOKEVIRTUAL
 +            (METHODCP "​length"​ "​java.lang.String"​ NIL INT)))
 +        (5 (BIPUSH 16))
 +        (7 (IADD))
 +        (8
 +         ​(INVOKESPECIAL
 +           ​(METHODCP "<​init>"​ "​java.lang.StringBuffer"​ (INT)
 +                     ​VOID)))
 +        (11 (ALOAD_0))
 +        (12 (ALOAD_1))
 +        (13
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​append"​ "​java.lang.StringBuffer"​
 +                         ​((CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (16 (POP))
 +        (17 (RETURN))
 +        (ENDOFCODE 18))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​length"​ (PARAMETERS)
 +      (RETURNTYPE INT)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 5)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (4 (IRETURN))
 +        (ENDOFCODE 5))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​capacity"​ (PARAMETERS)
 +      (RETURNTYPE INT)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 6)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (4 (ARRAYLENGTH))
 +        (5 (IRETURN))
 +        (ENDOFCODE 6))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​copy"​ (PARAMETERS)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *FINAL* *PRIVATE*)
 +      (CODE
 +       ​(MAX_STACK 5)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 33)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (4 (ARRAYLENGTH))
 +        (5 (NEWARRAY CHAR))
 +        (7 (ASTORE_1))
 +        (8 (ALOAD_0))
 +        (9
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (12 (ICONST_0))
 +        (13 (ALOAD_1))
 +        (14 (ICONST_0))
 +        (15 (ALOAD_0))
 +        (16
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (19 (INVOKESTATIC
 +                 ​(METHODCP "​arraycopy"​ "​java.lang.System"​
 +                           ​((CLASS "​java.lang.Object"​)
 +                            INT (CLASS "​java.lang.Object"​)
 +                            INT INT)
 +                           ​VOID)))
 +        (22 (ALOAD_0))
 +        (23 (ALOAD_1))
 +        (24
 +          (PUTFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (27 (ALOAD_0))
 +        (28 (ICONST_0))
 +        (29
 +         ​(PUTFIELD
 +           ​(JVM::​FIELDCP "​shared"​
 +                         "​java.lang.StringBuffer"​ BOOLEAN)))
 +        (32 (RETURN))
 +        (ENDOFCODE 33))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​ensureCapacity"​ (PARAMETERS INT)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *SUPER* *SYNCHRONIZED*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 15)
 +       ​(PARSEDCODE
 +        (0 (ILOAD_1))
 +        (1 (ALOAD_0))
 +        (2
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (5 (ARRAYLENGTH))
 +        (6 (IF_ICMPLE 14))
 +        (9 (ALOAD_0))
 +        (10 (ILOAD_1))
 +        (11 (INVOKESPECIAL
 +                 ​(METHODCP "​expandCapacity"​
 +                           "​java.lang.StringBuffer"​ (INT)
 +                           ​VOID)))
 +        (14 (RETURN))
 +        (ENDOFCODE 15))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​expandCapacity"​ (PARAMETERS INT)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PRIVATE*)
 +      (CODE
 +       ​(MAX_STACK 5)
 +       ​(JVM::​MAX_LOCALS 4)
 +       ​(CODE_LENGTH 56)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (4 (ARRAYLENGTH))
 +        (5 (ICONST_1))
 +        (6 (IADD))
 +        (7 (ICONST_2))
 +        (8 (IMUL))
 +        (9 (ISTORE_2))
 +        (10 (ILOAD_2))
 +        (11 (IFGE 20))
 +        (14 (LDC 0))
 +        (16 (ISTORE_2))
 +        (17 (GOTO 27))
 +        (20 (ILOAD_1))
 +        (21 (ILOAD_2))
 +        (22 (IF_ICMPLE 27))
 +        (25 (ILOAD_1))
 +        (26 (ISTORE_2))
 +        (27 (ILOAD_2))
 +        (28 (NEWARRAY CHAR))
 +        (30 (ASTORE_3))
 +        (31 (ALOAD_0))
 +        (32
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (35 (ICONST_0))
 +        (36 (ALOAD_3))
 +        (37 (ICONST_0))
 +        (38 (ALOAD_0))
 +        (39
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (42 (INVOKESTATIC
 +                 ​(METHODCP "​arraycopy"​ "​java.lang.System"​
 +                           ​((CLASS "​java.lang.Object"​)
 +                            INT (CLASS "​java.lang.Object"​)
 +                            INT INT)
 +                           ​VOID)))
 +        (45 (ALOAD_0))
 +        (46 (ALOAD_3))
 +        (47
 +          (PUTFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (50 (ALOAD_0))
 +        (51 (ICONST_0))
 +        (52
 +         ​(PUTFIELD
 +           ​(JVM::​FIELDCP "​shared"​
 +                         "​java.lang.StringBuffer"​ BOOLEAN)))
 +        (55 (RETURN))
 +        (ENDOFCODE 56))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​setLength"​ (PARAMETERS INT)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *SUPER* *SYNCHRONIZED*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 117)
 +       ​(PARSEDCODE
 +        (0 (ILOAD_1))
 +        (1 (IFGE 13))
 +        (4
 +         (NEW
 +          (CLASS
 +              "​java.lang.StringIndexOutOfBoundsException"​)))
 +        (7 (DUP))
 +        (8 (ILOAD_1))
 +        (9
 +         ​(INVOKESPECIAL
 +            (METHODCP
 +                 "<​init>"​
 +                 "​java.lang.StringIndexOutOfBoundsException"​
 +                 (INT)
 +                 ​VOID)))
 +        (12 (ATHROW))
 +        (13 (ILOAD_1))
 +        (14 (ALOAD_0))
 +        (15
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (18 (ARRAYLENGTH))
 +        (19 (IF_ICMPLE 27))
 +        (22 (ALOAD_0))
 +        (23 (ILOAD_1))
 +        (24 (INVOKESPECIAL
 +                 ​(METHODCP "​expandCapacity"​
 +                           "​java.lang.StringBuffer"​ (INT)
 +                           ​VOID)))
 +        (27 (ALOAD_0))
 +        (28
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (31 (ILOAD_1))
 +        (32 (IF_ICMPGE 80))
 +        (35 (ALOAD_0))
 +        (36
 +         ​(GETFIELD
 +           ​(JVM::​FIELDCP "​shared"​
 +                         "​java.lang.StringBuffer"​ BOOLEAN)))
 +        (39 (IFEQ 69))
 +        (42 (ALOAD_0))
 +        (43
 +         ​(INVOKESPECIAL
 +              (METHODCP "​copy"​
 +                        "​java.lang.StringBuffer"​ NIL VOID)))
 +        (46 (GOTO 69))
 +        (49 (ALOAD_0))
 +        (50
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (53 (ALOAD_0))
 +        (54
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (57 (ICONST_0))
 +        (58 (CASTORE))
 +        (59 (ALOAD_0))
 +        (60 (DUP))
 +        (61
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (64 (ICONST_1))
 +        (65 (IADD))
 +        (66
 +           ​(PUTFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (69 (ALOAD_0))
 +        (70
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (73 (ILOAD_1))
 +        (74 (IF_ICMPLT 49))
 +        (77 (GOTO 116))
 +        (80 (ALOAD_0))
 +        (81 (ILOAD_1))
 +        (82
 +           ​(PUTFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (85 (ALOAD_0))
 +        (86
 +         ​(GETFIELD
 +           ​(JVM::​FIELDCP "​shared"​
 +                         "​java.lang.StringBuffer"​ BOOLEAN)))
 +        (89 (IFEQ 116))
 +        (92 (ILOAD_1))
 +        (93 (IFLE 103))
 +        (96 (ALOAD_0))
 +        (97
 +         ​(INVOKESPECIAL
 +              (METHODCP "​copy"​
 +                        "​java.lang.StringBuffer"​ NIL VOID)))
 +        (100 (GOTO 116))
 +        (103 (ALOAD_0))
 +        (104 (BIPUSH 16))
 +        (106 (NEWARRAY CHAR))
 +        (108
 +          (PUTFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (111 (ALOAD_0))
 +        (112 (ICONST_0))
 +        (113
 +         ​(PUTFIELD
 +           ​(JVM::​FIELDCP "​shared"​
 +                         "​java.lang.StringBuffer"​ BOOLEAN)))
 +        (116 (RETURN))
 +        (ENDOFCODE 117))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​charAt"​ (PARAMETERS INT)
 +      (RETURNTYPE CHAR)
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *SUPER* *SYNCHRONIZED*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 28)
 +       ​(PARSEDCODE
 +        (0 (ILOAD_1))
 +        (1 (IFLT 12))
 +        (4 (ILOAD_1))
 +        (5 (ALOAD_0))
 +        (6 (GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (9 (IF_ICMPLT 21))
 +        (12
 +         (NEW
 +          (CLASS
 +              "​java.lang.StringIndexOutOfBoundsException"​)))
 +        (15 (DUP))
 +        (16 (ILOAD_1))
 +        (17
 +         ​(INVOKESPECIAL
 +            (METHODCP
 +                 "<​init>"​
 +                 "​java.lang.StringIndexOutOfBoundsException"​
 +                 (INT)
 +                 ​VOID)))
 +        (20 (ATHROW))
 +        (21 (ALOAD_0))
 +        (22
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (25 (ILOAD_1))
 +        (26 (CALOAD))
 +        (27 (IRETURN))
 +        (ENDOFCODE 28))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​getChars"​
 +      (PARAMETERS INT INT (ARRAY CHAR) INT)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *SUPER* *SYNCHRONIZED*)
 +      (CODE
 +       ​(MAX_STACK 6)
 +       ​(JVM::​MAX_LOCALS 5)
 +       ​(CODE_LENGTH 64)
 +       ​(PARSEDCODE
 +        (0 (ILOAD_1))
 +        (1 (IFGE 13))
 +        (4
 +         (NEW
 +          (CLASS
 +              "​java.lang.StringIndexOutOfBoundsException"​)))
 +        (7 (DUP))
 +        (8 (ILOAD_1))
 +        (9
 +         ​(INVOKESPECIAL
 +            (METHODCP
 +                 "<​init>"​
 +                 "​java.lang.StringIndexOutOfBoundsException"​
 +                 (INT)
 +                 ​VOID)))
 +        (12 (ATHROW))
 +        (13 (ILOAD_2))
 +        (14 (IFLT 25))
 +        (17 (ILOAD_2))
 +        (18 (ALOAD_0))
 +        (19
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (22 (IF_ICMPLE 34))
 +        (25
 +         (NEW
 +          (CLASS
 +              "​java.lang.StringIndexOutOfBoundsException"​)))
 +        (28 (DUP))
 +        (29 (ILOAD_2))
 +        (30
 +         ​(INVOKESPECIAL
 +            (METHODCP
 +                 "<​init>"​
 +                 "​java.lang.StringIndexOutOfBoundsException"​
 +                 (INT)
 +                 ​VOID)))
 +        (33 (ATHROW))
 +        (34 (ILOAD_1))
 +        (35 (ILOAD_2))
 +        (36 (IF_ICMPLE 49))
 +        (39
 +         (NEW
 +          (CLASS
 +              "​java.lang.StringIndexOutOfBoundsException"​)))
 +        (42 (DUP))
 +        (43 (LDC 1))
 +        (45
 +         ​(INVOKESPECIAL
 +            (METHODCP
 +                 "<​init>"​
 +                 "​java.lang.StringIndexOutOfBoundsException"​
 +                 ​((CLASS "​java.lang.String"​))
 +                 ​VOID)))
 +        (48 (ATHROW))
 +        (49 (ALOAD_0))
 +        (50
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (53 (ILOAD_1))
 +        (54 (ALOAD_3))
 +        (55 (ILOAD 4))
 +        (57 (ILOAD_2))
 +        (58 (ILOAD_1))
 +        (59 (ISUB))
 +        (60 (INVOKESTATIC
 +                 ​(METHODCP "​arraycopy"​ "​java.lang.System"​
 +                           ​((CLASS "​java.lang.Object"​)
 +                            INT (CLASS "​java.lang.Object"​)
 +                            INT INT)
 +                           ​VOID)))
 +        (63 (RETURN))
 +        (ENDOFCODE 64))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​setCharAt"​ (PARAMETERS INT CHAR)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *SUPER* *SYNCHRONIZED*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 3)
 +       ​(CODE_LENGTH 40)
 +       ​(PARSEDCODE
 +        (0 (ILOAD_1))
 +        (1 (IFLT 12))
 +        (4 (ILOAD_1))
 +        (5 (ALOAD_0))
 +        (6 (GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (9 (IF_ICMPLT 21))
 +        (12
 +         (NEW
 +          (CLASS
 +              "​java.lang.StringIndexOutOfBoundsException"​)))
 +        (15 (DUP))
 +        (16 (ILOAD_1))
 +        (17
 +         ​(INVOKESPECIAL
 +            (METHODCP
 +                 "<​init>"​
 +                 "​java.lang.StringIndexOutOfBoundsException"​
 +                 (INT)
 +                 ​VOID)))
 +        (20 (ATHROW))
 +        (21 (ALOAD_0))
 +        (22
 +         ​(GETFIELD
 +           ​(JVM::​FIELDCP "​shared"​
 +                         "​java.lang.StringBuffer"​ BOOLEAN)))
 +        (25 (IFEQ 32))
 +        (28 (ALOAD_0))
 +        (29
 +         ​(INVOKESPECIAL
 +              (METHODCP "​copy"​
 +                        "​java.lang.StringBuffer"​ NIL VOID)))
 +        (32 (ALOAD_0))
 +        (33
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (36 (ILOAD_1))
 +        (37 (ILOAD_2))
 +        (38 (CASTORE))
 +        (39 (RETURN))
 +        (ENDOFCODE 40))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​append"​
 +      (PARAMETERS (CLASS "​java.lang.Object"​))
 +      (RETURNTYPE (CLASS "​java.lang.StringBuffer"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *SUPER* *SYNCHRONIZED*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 9)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (ALOAD_1))
 +        (2 (INVOKESTATIC
 +                (METHODCP "​valueOf"​ "​java.lang.String"​
 +                          ((CLASS "​java.lang.Object"​))
 +                          (CLASS "​java.lang.String"​))))
 +        (5
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​append"​ "​java.lang.StringBuffer"​
 +                         ​((CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (8 (ARETURN))
 +        (ENDOFCODE 9))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​append"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE (CLASS "​java.lang.StringBuffer"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *SUPER* *SYNCHRONIZED*)
 +      (CODE
 +       ​(MAX_STACK 5)
 +       ​(JVM::​MAX_LOCALS 4)
 +       ​(CODE_LENGTH 56)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_1))
 +        (1 (IFNONNULL 9))
 +        (4 (ALOAD_1))
 +        (5 (INVOKESTATIC
 +                (METHODCP "​valueOf"​ "​java.lang.String"​
 +                          ((CLASS "​java.lang.Object"​))
 +                          (CLASS "​java.lang.String"​))))
 +        (8 (ASTORE_1))
 +        (9 (ALOAD_1))
 +        (10
 +         ​(INVOKEVIRTUAL
 +            (METHODCP "​length"​ "​java.lang.String"​ NIL INT)))
 +        (13 (ISTORE_2))
 +        (14 (ALOAD_0))
 +        (15
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (18 (ILOAD_2))
 +        (19 (IADD))
 +        (20 (ISTORE_3))
 +        (21 (ILOAD_3))
 +        (22 (ALOAD_0))
 +        (23
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (26 (ARRAYLENGTH))
 +        (27 (IF_ICMPLE 35))
 +        (30 (ALOAD_0))
 +        (31 (ILOAD_3))
 +        (32 (INVOKESPECIAL
 +                 ​(METHODCP "​expandCapacity"​
 +                           "​java.lang.StringBuffer"​ (INT)
 +                           ​VOID)))
 +        (35 (ALOAD_1))
 +        (36 (ICONST_0))
 +        (37 (ILOAD_2))
 +        (38 (ALOAD_0))
 +        (39
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (42 (ALOAD_0))
 +        (43
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (46 (INVOKEVIRTUAL
 +                 ​(METHODCP "​getChars"​ "​java.lang.String"​
 +                           (INT INT (ARRAY CHAR) INT)
 +                           ​VOID)))
 +        (49 (ALOAD_0))
 +        (50 (ILOAD_3))
 +        (51
 +           ​(PUTFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (54 (ALOAD_0))
 +        (55 (ARETURN))
 +        (ENDOFCODE 56))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​append"​ (PARAMETERS (ARRAY CHAR))
 +      (RETURNTYPE (CLASS "​java.lang.StringBuffer"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *SUPER* *SYNCHRONIZED*)
 +      (CODE
 +       ​(MAX_STACK 5)
 +       ​(JVM::​MAX_LOCALS 4)
 +       ​(CODE_LENGTH 45)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_1))
 +        (1 (ARRAYLENGTH))
 +        (2 (ISTORE_2))
 +        (3 (ALOAD_0))
 +        (4 (GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (7 (ILOAD_2))
 +        (8 (IADD))
 +        (9 (ISTORE_3))
 +        (10 (ILOAD_3))
 +        (11 (ALOAD_0))
 +        (12
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (15 (ARRAYLENGTH))
 +        (16 (IF_ICMPLE 24))
 +        (19 (ALOAD_0))
 +        (20 (ILOAD_3))
 +        (21 (INVOKESPECIAL
 +                 ​(METHODCP "​expandCapacity"​
 +                           "​java.lang.StringBuffer"​ (INT)
 +                           ​VOID)))
 +        (24 (ALOAD_1))
 +        (25 (ICONST_0))
 +        (26 (ALOAD_0))
 +        (27
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (30 (ALOAD_0))
 +        (31
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (34 (ILOAD_2))
 +        (35 (INVOKESTATIC
 +                 ​(METHODCP "​arraycopy"​ "​java.lang.System"​
 +                           ​((CLASS "​java.lang.Object"​)
 +                            INT (CLASS "​java.lang.Object"​)
 +                            INT INT)
 +                           ​VOID)))
 +        (38 (ALOAD_0))
 +        (39 (ILOAD_3))
 +        (40
 +           ​(PUTFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (43 (ALOAD_0))
 +        (44 (ARETURN))
 +        (ENDOFCODE 45))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​append"​
 +      (PARAMETERS (ARRAY CHAR) INT INT)
 +      (RETURNTYPE (CLASS "​java.lang.StringBuffer"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *SUPER* *SYNCHRONIZED*)
 +      (CODE
 +       ​(MAX_STACK 5)
 +       ​(JVM::​MAX_LOCALS 5)
 +       ​(CODE_LENGTH 46)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (4 (ILOAD_3))
 +        (5 (IADD))
 +        (6 (ISTORE 4))
 +        (8 (ILOAD 4))
 +        (10 (ALOAD_0))
 +        (11
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (14 (ARRAYLENGTH))
 +        (15 (IF_ICMPLE 24))
 +        (18 (ALOAD_0))
 +        (19 (ILOAD 4))
 +        (21 (INVOKESPECIAL
 +                 ​(METHODCP "​expandCapacity"​
 +                           "​java.lang.StringBuffer"​ (INT)
 +                           ​VOID)))
 +        (24 (ALOAD_1))
 +        (25 (ILOAD_2))
 +        (26 (ALOAD_0))
 +        (27
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (30 (ALOAD_0))
 +        (31
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (34 (ILOAD_3))
 +        (35 (INVOKESTATIC
 +                 ​(METHODCP "​arraycopy"​ "​java.lang.System"​
 +                           ​((CLASS "​java.lang.Object"​)
 +                            INT (CLASS "​java.lang.Object"​)
 +                            INT INT)
 +                           ​VOID)))
 +        (38 (ALOAD_0))
 +        (39 (ILOAD 4))
 +        (41
 +           ​(PUTFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (44 (ALOAD_0))
 +        (45 (ARETURN))
 +        (ENDOFCODE 46))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​append"​ (PARAMETERS BOOLEAN)
 +      (RETURNTYPE (CLASS "​java.lang.StringBuffer"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 9)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (ILOAD_1))
 +        (2
 +         ​(INVOKESTATIC
 +            (METHODCP "​valueOf"​ "​java.lang.String"​ (BOOLEAN)
 +                      (CLASS "​java.lang.String"​))))
 +        (5
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​append"​ "​java.lang.StringBuffer"​
 +                         ​((CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (8 (ARETURN))
 +        (ENDOFCODE 9))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​append"​ (PARAMETERS CHAR)
 +      (RETURNTYPE (CLASS "​java.lang.StringBuffer"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *SUPER* *SYNCHRONIZED*)
 +      (CODE
 +       ​(MAX_STACK 5)
 +       ​(JVM::​MAX_LOCALS 3)
 +       ​(CODE_LENGTH 40)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (4 (ICONST_1))
 +        (5 (IADD))
 +        (6 (ISTORE_2))
 +        (7 (ILOAD_2))
 +        (8 (ALOAD_0))
 +        (9
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (12 (ARRAYLENGTH))
 +        (13 (IF_ICMPLE 21))
 +        (16 (ALOAD_0))
 +        (17 (ILOAD_2))
 +        (18 (INVOKESPECIAL
 +                 ​(METHODCP "​expandCapacity"​
 +                           "​java.lang.StringBuffer"​ (INT)
 +                           ​VOID)))
 +        (21 (ALOAD_0))
 +        (22
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (25 (ALOAD_0))
 +        (26 (DUP))
 +        (27
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (30 (DUP_X1))
 +        (31 (ICONST_1))
 +        (32 (IADD))
 +        (33
 +           ​(PUTFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (36 (ILOAD_1))
 +        (37 (CASTORE))
 +        (38 (ALOAD_0))
 +        (39 (ARETURN))
 +        (ENDOFCODE 40))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​append"​ (PARAMETERS INT)
 +      (RETURNTYPE (CLASS "​java.lang.StringBuffer"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 9)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (ILOAD_1))
 +        (2 (INVOKESTATIC
 +                (METHODCP "​valueOf"​ "​java.lang.String"​ (INT)
 +                          (CLASS "​java.lang.String"​))))
 +        (5
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​append"​ "​java.lang.StringBuffer"​
 +                         ​((CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (8 (ARETURN))
 +        (ENDOFCODE 9))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​append"​ (PARAMETERS LONG)
 +      (RETURNTYPE (CLASS "​java.lang.StringBuffer"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 3)
 +       ​(CODE_LENGTH 9)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (JVM::​LLOAD_1))
 +        (2
 +          (INVOKESTATIC
 +               ​(METHODCP "​valueOf"​ "​java.lang.String"​ (LONG)
 +                         ​(CLASS "​java.lang.String"​))))
 +        (5
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​append"​ "​java.lang.StringBuffer"​
 +                         ​((CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (8 (ARETURN))
 +        (ENDOFCODE 9))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​delete"​ (PARAMETERS INT INT)
 +      (RETURNTYPE (CLASS "​java.lang.StringBuffer"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *SUPER* *SYNCHRONIZED*)
 +      (CODE
 +       ​(MAX_STACK 6)
 +       ​(JVM::​MAX_LOCALS 4)
 +       ​(CODE_LENGTH 91)
 +       ​(PARSEDCODE
 +        (0 (ILOAD_1))
 +        (1 (IFGE 13))
 +        (4
 +         (NEW
 +          (CLASS
 +              "​java.lang.StringIndexOutOfBoundsException"​)))
 +        (7 (DUP))
 +        (8 (ILOAD_1))
 +        (9
 +         ​(INVOKESPECIAL
 +            (METHODCP
 +                 "<​init>"​
 +                 "​java.lang.StringIndexOutOfBoundsException"​
 +                 (INT)
 +                 ​VOID)))
 +        (12 (ATHROW))
 +        (13 (ILOAD_2))
 +        (14 (ALOAD_0))
 +        (15
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (18 (IF_ICMPLE 26))
 +        (21 (ALOAD_0))
 +        (22
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (25 (ISTORE_2))
 +        (26 (ILOAD_1))
 +        (27 (ILOAD_2))
 +        (28 (IF_ICMPLE 39))
 +        (31
 +         (NEW
 +          (CLASS
 +              "​java.lang.StringIndexOutOfBoundsException"​)))
 +        (34 (DUP))
 +        (35
 +         ​(INVOKESPECIAL
 +            (METHODCP
 +                 "<​init>"​
 +                 "​java.lang.StringIndexOutOfBoundsException"​
 +                 NIL VOID)))
 +        (38 (ATHROW))
 +        (39 (ILOAD_2))
 +        (40 (ILOAD_1))
 +        (41 (ISUB))
 +        (42 (ISTORE_3))
 +        (43 (ILOAD_3))
 +        (44 (IFLE 89))
 +        (47 (ALOAD_0))
 +        (48
 +         ​(GETFIELD
 +           ​(JVM::​FIELDCP "​shared"​
 +                         "​java.lang.StringBuffer"​ BOOLEAN)))
 +        (51 (IFEQ 58))
 +        (54 (ALOAD_0))
 +        (55
 +         ​(INVOKESPECIAL
 +              (METHODCP "​copy"​
 +                        "​java.lang.StringBuffer"​ NIL VOID)))
 +        (58 (ALOAD_0))
 +        (59
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (62 (ILOAD_1))
 +        (63 (ILOAD_3))
 +        (64 (IADD))
 +        (65 (ALOAD_0))
 +        (66
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (69 (ILOAD_1))
 +        (70 (ALOAD_0))
 +        (71
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (74 (ILOAD_2))
 +        (75 (ISUB))
 +        (76 (INVOKESTATIC
 +                 ​(METHODCP "​arraycopy"​ "​java.lang.System"​
 +                           ​((CLASS "​java.lang.Object"​)
 +                            INT (CLASS "​java.lang.Object"​)
 +                            INT INT)
 +                           ​VOID)))
 +        (79 (ALOAD_0))
 +        (80 (DUP))
 +        (81
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (84 (ILOAD_3))
 +        (85 (ISUB))
 +        (86
 +           ​(PUTFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (89 (ALOAD_0))
 +        (90 (ARETURN))
 +        (ENDOFCODE 91))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​deleteCharAt"​ (PARAMETERS INT)
 +      (RETURNTYPE (CLASS "​java.lang.StringBuffer"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *SUPER* *SYNCHRONIZED*)
 +      (CODE
 +       ​(MAX_STACK 6)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 66)
 +       ​(PARSEDCODE
 +        (0 (ILOAD_1))
 +        (1 (IFLT 12))
 +        (4 (ILOAD_1))
 +        (5 (ALOAD_0))
 +        (6 (GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (9 (IF_ICMPLT 20))
 +        (12
 +         (NEW
 +          (CLASS
 +              "​java.lang.StringIndexOutOfBoundsException"​)))
 +        (15 (DUP))
 +        (16
 +         ​(INVOKESPECIAL
 +            (METHODCP
 +                 "<​init>"​
 +                 "​java.lang.StringIndexOutOfBoundsException"​
 +                 NIL VOID)))
 +        (19 (ATHROW))
 +        (20 (ALOAD_0))
 +        (21
 +         ​(GETFIELD
 +           ​(JVM::​FIELDCP "​shared"​
 +                         "​java.lang.StringBuffer"​ BOOLEAN)))
 +        (24 (IFEQ 31))
 +        (27 (ALOAD_0))
 +        (28
 +         ​(INVOKESPECIAL
 +              (METHODCP "​copy"​
 +                        "​java.lang.StringBuffer"​ NIL VOID)))
 +        (31 (ALOAD_0))
 +        (32
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (35 (ILOAD_1))
 +        (36 (ICONST_1))
 +        (37 (IADD))
 +        (38 (ALOAD_0))
 +        (39
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (42 (ILOAD_1))
 +        (43 (ALOAD_0))
 +        (44
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (47 (ILOAD_1))
 +        (48 (ISUB))
 +        (49 (ICONST_1))
 +        (50 (ISUB))
 +        (51 (INVOKESTATIC
 +                 ​(METHODCP "​arraycopy"​ "​java.lang.System"​
 +                           ​((CLASS "​java.lang.Object"​)
 +                            INT (CLASS "​java.lang.Object"​)
 +                            INT INT)
 +                           ​VOID)))
 +        (54 (ALOAD_0))
 +        (55 (DUP))
 +        (56
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (59 (ICONST_1))
 +        (60 (ISUB))
 +        (61
 +           ​(PUTFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (64 (ALOAD_0))
 +        (65 (ARETURN))
 +        (ENDOFCODE 66))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​insert"​
 +      (PARAMETERS INT (CLASS "​java.lang.Object"​))
 +      (RETURNTYPE (CLASS "​java.lang.StringBuffer"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *SUPER* *SYNCHRONIZED*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 3)
 +       ​(CODE_LENGTH 10)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (ILOAD_1))
 +        (2 (ALOAD_2))
 +        (3 (INVOKESTATIC
 +                (METHODCP "​valueOf"​ "​java.lang.String"​
 +                          ((CLASS "​java.lang.Object"​))
 +                          (CLASS "​java.lang.String"​))))
 +        (6
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​insert"​ "​java.lang.StringBuffer"​
 +                         (INT (CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (9 (ARETURN))
 +        (ENDOFCODE 10))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​insert"​
 +      (PARAMETERS INT (CLASS "​java.lang.String"​))
 +      (RETURNTYPE (CLASS "​java.lang.StringBuffer"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *SUPER* *SYNCHRONIZED*)
 +      (CODE
 +       ​(MAX_STACK 6)
 +       ​(JVM::​MAX_LOCALS 5)
 +       ​(CODE_LENGTH 112)
 +       ​(PARSEDCODE
 +        (0 (ILOAD_1))
 +        (1 (IFLT 12))
 +        (4 (ILOAD_1))
 +        (5 (ALOAD_0))
 +        (6 (GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (9 (IF_ICMPLE 20))
 +        (12
 +         (NEW
 +          (CLASS
 +              "​java.lang.StringIndexOutOfBoundsException"​)))
 +        (15 (DUP))
 +        (16
 +         ​(INVOKESPECIAL
 +            (METHODCP
 +                 "<​init>"​
 +                 "​java.lang.StringIndexOutOfBoundsException"​
 +                 NIL VOID)))
 +        (19 (ATHROW))
 +        (20 (ALOAD_2))
 +        (21 (IFNONNULL 29))
 +        (24 (ALOAD_2))
 +        (25 (INVOKESTATIC
 +                 ​(METHODCP "​valueOf"​ "​java.lang.String"​
 +                           ​((CLASS "​java.lang.Object"​))
 +                           ​(CLASS "​java.lang.String"​))))
 +        (28 (ASTORE_2))
 +        (29 (ALOAD_2))
 +        (30
 +         ​(INVOKEVIRTUAL
 +            (METHODCP "​length"​ "​java.lang.String"​ NIL INT)))
 +        (33 (ISTORE_3))
 +        (34 (ALOAD_0))
 +        (35
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (38 (ILOAD_3))
 +        (39 (IADD))
 +        (40 (ISTORE 4))
 +        (42 (ILOAD 4))
 +        (44 (ALOAD_0))
 +        (45
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (48 (ARRAYLENGTH))
 +        (49 (IF_ICMPLE 61))
 +        (52 (ALOAD_0))
 +        (53 (ILOAD 4))
 +        (55 (INVOKESPECIAL
 +                 ​(METHODCP "​expandCapacity"​
 +                           "​java.lang.StringBuffer"​ (INT)
 +                           ​VOID)))
 +        (58 (GOTO 72))
 +        (61 (ALOAD_0))
 +        (62
 +         ​(GETFIELD
 +           ​(JVM::​FIELDCP "​shared"​
 +                         "​java.lang.StringBuffer"​ BOOLEAN)))
 +        (65 (IFEQ 72))
 +        (68 (ALOAD_0))
 +        (69
 +         ​(INVOKESPECIAL
 +              (METHODCP "​copy"​
 +                        "​java.lang.StringBuffer"​ NIL VOID)))
 +        (72 (ALOAD_0))
 +        (73
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (76 (ILOAD_1))
 +        (77 (ALOAD_0))
 +        (78
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (81 (ILOAD_1))
 +        (82 (ILOAD_3))
 +        (83 (IADD))
 +        (84 (ALOAD_0))
 +        (85
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (88 (ILOAD_1))
 +        (89 (ISUB))
 +        (90 (INVOKESTATIC
 +                 ​(METHODCP "​arraycopy"​ "​java.lang.System"​
 +                           ​((CLASS "​java.lang.Object"​)
 +                            INT (CLASS "​java.lang.Object"​)
 +                            INT INT)
 +                           ​VOID)))
 +        (93 (ALOAD_2))
 +        (94 (ICONST_0))
 +        (95 (ILOAD_3))
 +        (96 (ALOAD_0))
 +        (97
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (100 (ILOAD_1))
 +        (101 (INVOKEVIRTUAL
 +                  (METHODCP "​getChars"​ "​java.lang.String"​
 +                            (INT INT (ARRAY CHAR) INT)
 +                            VOID)))
 +        (104 (ALOAD_0))
 +        (105 (ILOAD 4))
 +        (107
 +           ​(PUTFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (110 (ALOAD_0))
 +        (111 (ARETURN))
 +        (ENDOFCODE 112))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​insert"​ (PARAMETERS INT (ARRAY CHAR))
 +      (RETURNTYPE (CLASS "​java.lang.StringBuffer"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *SUPER* *SYNCHRONIZED*)
 +      (CODE
 +       ​(MAX_STACK 6)
 +       ​(JVM::​MAX_LOCALS 5)
 +       ​(CODE_LENGTH 101)
 +       ​(PARSEDCODE
 +        (0 (ILOAD_1))
 +        (1 (IFLT 12))
 +        (4 (ILOAD_1))
 +        (5 (ALOAD_0))
 +        (6 (GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (9 (IF_ICMPLE 20))
 +        (12
 +         (NEW
 +          (CLASS
 +              "​java.lang.StringIndexOutOfBoundsException"​)))
 +        (15 (DUP))
 +        (16
 +         ​(INVOKESPECIAL
 +            (METHODCP
 +                 "<​init>"​
 +                 "​java.lang.StringIndexOutOfBoundsException"​
 +                 NIL VOID)))
 +        (19 (ATHROW))
 +        (20 (ALOAD_2))
 +        (21 (ARRAYLENGTH))
 +        (22 (ISTORE_3))
 +        (23 (ALOAD_0))
 +        (24
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (27 (ILOAD_3))
 +        (28 (IADD))
 +        (29 (ISTORE 4))
 +        (31 (ILOAD 4))
 +        (33 (ALOAD_0))
 +        (34
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (37 (ARRAYLENGTH))
 +        (38 (IF_ICMPLE 50))
 +        (41 (ALOAD_0))
 +        (42 (ILOAD 4))
 +        (44 (INVOKESPECIAL
 +                 ​(METHODCP "​expandCapacity"​
 +                           "​java.lang.StringBuffer"​ (INT)
 +                           ​VOID)))
 +        (47 (GOTO 61))
 +        (50 (ALOAD_0))
 +        (51
 +         ​(GETFIELD
 +           ​(JVM::​FIELDCP "​shared"​
 +                         "​java.lang.StringBuffer"​ BOOLEAN)))
 +        (54 (IFEQ 61))
 +        (57 (ALOAD_0))
 +        (58
 +         ​(INVOKESPECIAL
 +              (METHODCP "​copy"​
 +                        "​java.lang.StringBuffer"​ NIL VOID)))
 +        (61 (ALOAD_0))
 +        (62
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (65 (ILOAD_1))
 +        (66 (ALOAD_0))
 +        (67
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (70 (ILOAD_1))
 +        (71 (ILOAD_3))
 +        (72 (IADD))
 +        (73 (ALOAD_0))
 +        (74
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (77 (ILOAD_1))
 +        (78 (ISUB))
 +        (79 (INVOKESTATIC
 +                 ​(METHODCP "​arraycopy"​ "​java.lang.System"​
 +                           ​((CLASS "​java.lang.Object"​)
 +                            INT (CLASS "​java.lang.Object"​)
 +                            INT INT)
 +                           ​VOID)))
 +        (82 (ALOAD_2))
 +        (83 (ICONST_0))
 +        (84 (ALOAD_0))
 +        (85
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (88 (ILOAD_1))
 +        (89 (ILOAD_3))
 +        (90 (INVOKESTATIC
 +                 ​(METHODCP "​arraycopy"​ "​java.lang.System"​
 +                           ​((CLASS "​java.lang.Object"​)
 +                            INT (CLASS "​java.lang.Object"​)
 +                            INT INT)
 +                           ​VOID)))
 +        (93 (ALOAD_0))
 +        (94 (ILOAD 4))
 +        (96
 +           ​(PUTFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (99 (ALOAD_0))
 +        (100 (ARETURN))
 +        (ENDOFCODE 101))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​insert"​ (PARAMETERS INT BOOLEAN)
 +      (RETURNTYPE (CLASS "​java.lang.StringBuffer"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 3)
 +       ​(CODE_LENGTH 10)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (ILOAD_1))
 +        (2 (ILOAD_2))
 +        (3
 +         ​(INVOKESTATIC
 +            (METHODCP "​valueOf"​ "​java.lang.String"​ (BOOLEAN)
 +                      (CLASS "​java.lang.String"​))))
 +        (6
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​insert"​ "​java.lang.StringBuffer"​
 +                         (INT (CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (9 (ARETURN))
 +        (ENDOFCODE 10))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​insert"​ (PARAMETERS INT CHAR)
 +      (RETURNTYPE (CLASS "​java.lang.StringBuffer"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *SUPER* *SYNCHRONIZED*)
 +      (CODE
 +       ​(MAX_STACK 6)
 +       ​(JVM::​MAX_LOCALS 4)
 +       ​(CODE_LENGTH 70)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (4 (ICONST_1))
 +        (5 (IADD))
 +        (6 (ISTORE_3))
 +        (7 (ILOAD_3))
 +        (8 (ALOAD_0))
 +        (9
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (12 (ARRAYLENGTH))
 +        (13 (IF_ICMPLE 24))
 +        (16 (ALOAD_0))
 +        (17 (ILOAD_3))
 +        (18 (INVOKESPECIAL
 +                 ​(METHODCP "​expandCapacity"​
 +                           "​java.lang.StringBuffer"​ (INT)
 +                           ​VOID)))
 +        (21 (GOTO 35))
 +        (24 (ALOAD_0))
 +        (25
 +         ​(GETFIELD
 +           ​(JVM::​FIELDCP "​shared"​
 +                         "​java.lang.StringBuffer"​ BOOLEAN)))
 +        (28 (IFEQ 35))
 +        (31 (ALOAD_0))
 +        (32
 +         ​(INVOKESPECIAL
 +              (METHODCP "​copy"​
 +                        "​java.lang.StringBuffer"​ NIL VOID)))
 +        (35 (ALOAD_0))
 +        (36
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (39 (ILOAD_1))
 +        (40 (ALOAD_0))
 +        (41
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (44 (ILOAD_1))
 +        (45 (ICONST_1))
 +        (46 (IADD))
 +        (47 (ALOAD_0))
 +        (48
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (51 (ILOAD_1))
 +        (52 (ISUB))
 +        (53 (INVOKESTATIC
 +                 ​(METHODCP "​arraycopy"​ "​java.lang.System"​
 +                           ​((CLASS "​java.lang.Object"​)
 +                            INT (CLASS "​java.lang.Object"​)
 +                            INT INT)
 +                           ​VOID)))
 +        (56 (ALOAD_0))
 +        (57
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (60 (ILOAD_1))
 +        (61 (ILOAD_2))
 +        (62 (CASTORE))
 +        (63 (ALOAD_0))
 +        (64 (ILOAD_3))
 +        (65
 +           ​(PUTFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (68 (ALOAD_0))
 +        (69 (ARETURN))
 +        (ENDOFCODE 70))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​insert"​ (PARAMETERS INT INT)
 +      (RETURNTYPE (CLASS "​java.lang.StringBuffer"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 3)
 +       ​(CODE_LENGTH 10)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (ILOAD_1))
 +        (2 (ILOAD_2))
 +        (3 (INVOKESTATIC
 +                (METHODCP "​valueOf"​ "​java.lang.String"​ (INT)
 +                          (CLASS "​java.lang.String"​))))
 +        (6
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​insert"​ "​java.lang.StringBuffer"​
 +                         (INT (CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (9 (ARETURN))
 +        (ENDOFCODE 10))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​insert"​ (PARAMETERS INT LONG)
 +      (RETURNTYPE (CLASS "​java.lang.StringBuffer"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 4)
 +       ​(JVM::​MAX_LOCALS 4)
 +       ​(CODE_LENGTH 10)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (ILOAD_1))
 +        (2 (JVM::​LLOAD_2))
 +        (3
 +          (INVOKESTATIC
 +               ​(METHODCP "​valueOf"​ "​java.lang.String"​ (LONG)
 +                         ​(CLASS "​java.lang.String"​))))
 +        (6
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​insert"​ "​java.lang.StringBuffer"​
 +                         (INT (CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (9 (ARETURN))
 +        (ENDOFCODE 10))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​reverse"​ (PARAMETERS)
 +      (RETURNTYPE (CLASS "​java.lang.StringBuffer"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *SUPER* *SYNCHRONIZED*)
 +      (CODE
 +       ​(MAX_STACK 5)
 +       ​(JVM::​MAX_LOCALS 4)
 +       ​(CODE_LENGTH 66)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(GETFIELD
 +           ​(JVM::​FIELDCP "​shared"​
 +                         "​java.lang.StringBuffer"​ BOOLEAN)))
 +        (4 (IFEQ 11))
 +        (7 (ALOAD_0))
 +        (8
 +         ​(INVOKESPECIAL
 +              (METHODCP "​copy"​
 +                        "​java.lang.StringBuffer"​ NIL VOID)))
 +        (11 (ALOAD_0))
 +        (12
 +           ​(GETFIELD
 +                (JVM::​FIELDCP
 +                     "​count"​ "​java.lang.StringBuffer"​ INT)))
 +        (15 (ICONST_1))
 +        (16 (ISUB))
 +        (17 (ISTORE_1))
 +        (18 (ILOAD_1))
 +        (19 (ICONST_1))
 +        (20 (ISUB))
 +        (21 (ICONST_1))
 +        (22 (JVM::​ISHR))
 +        (23 (ISTORE_2))
 +        (24 (GOTO 60))
 +        (27 (ALOAD_0))
 +        (28
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (31 (ILOAD_2))
 +        (32 (CALOAD))
 +        (33 (ISTORE_3))
 +        (34 (ALOAD_0))
 +        (35
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (38 (ILOAD_2))
 +        (39 (ALOAD_0))
 +        (40
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (43 (ILOAD_1))
 +        (44 (ILOAD_2))
 +        (45 (ISUB))
 +        (46 (CALOAD))
 +        (47 (CASTORE))
 +        (48 (ALOAD_0))
 +        (49
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (52 (ILOAD_1))
 +        (53 (ILOAD_2))
 +        (54 (ISUB))
 +        (55 (ILOAD_3))
 +        (56 (CASTORE))
 +        (57 (IINC 2 -1))
 +        (60 (ILOAD_2))
 +        (61 (IFGE 27))
 +        (64 (ALOAD_0))
 +        (65 (ARETURN))
 +        (ENDOFCODE 66))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​toString"​ (PARAMETERS)
 +      (RETURNTYPE (CLASS "​java.lang.String"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 9)
 +       ​(PARSEDCODE
 +        (0 (NEW (CLASS "​java.lang.String"​)))
 +        (3 (DUP))
 +        (4 (ALOAD_0))
 +        (5 (INVOKESPECIAL
 +                (METHODCP "<​init>"​ "​java.lang.String"​
 +                          ((CLASS "​java.lang.StringBuffer"​))
 +                          VOID)))
 +        (8 (ARETURN))
 +        (ENDOFCODE 9))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​setShared"​ (PARAMETERS)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *FINAL*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 6)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (ICONST_1))
 +        (2
 +         ​(PUTFIELD
 +           ​(JVM::​FIELDCP "​shared"​
 +                         "​java.lang.StringBuffer"​ BOOLEAN)))
 +        (5 (RETURN))
 +        (ENDOFCODE 6))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​getValue"​ (PARAMETERS)
 +      (RETURNTYPE (ARRAY CHAR))
 +      (ACCESSFLAGS *CLASS* *FINAL*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 5)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +          (GETFIELD
 +               ​(JVM::​FIELDCP
 +                    "​value"​
 +                    "​java.lang.StringBuffer"​ (ARRAY CHAR))))
 +        (4 (ARETURN))
 +        (ENDOFCODE 5))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP))))
 +    (INTERFACES)
 +    (ACCESSFLAGS *CLASS* *FINAL*
 +                 ​*PUBLIC* *SUPER* *SYNCHRONIZED*))
 +   ​(CLASS
 +    "​java.lang.ClassNotFoundException"​
 +    "​java.lang.Exception"​
 +    (JVM::​CONSTANT_POOL)
 +    (FIELDS)
 +    (METHODS
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 5)
 +       ​(PARSEDCODE
 +         (0 (ALOAD_0))
 +         (1 (INVOKESPECIAL
 +                 ​(METHODCP "<​init>"​
 +                           "​java.lang.Exception"​ NIL VOID)))
 +         (4 (RETURN))
 +         ​(ENDOFCODE 5))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 6)
 +       ​(PARSEDCODE
 +            (0 (ALOAD_0))
 +            (1 (ALOAD_1))
 +            (2 (INVOKESPECIAL
 +                    (METHODCP "<​init>"​ "​java.lang.Exception"​
 +                              ((CLASS "​java.lang.String"​))
 +                              VOID)))
 +            (5 (RETURN))
 +            (ENDOFCODE 6))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP))))
 +    (INTERFACES)
 +    (ACCESSFLAGS *CLASS*
 +                 ​*PUBLIC* *SUPER* *SYNCHRONIZED*))
 +   ​(CLASS
 +    "​java.lang.InstantiationException"​
 +    "​java.lang.Exception"​
 +    (JVM::​CONSTANT_POOL)
 +    (FIELDS)
 +    (METHODS
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 5)
 +       ​(PARSEDCODE
 +         (0 (ALOAD_0))
 +         (1 (INVOKESPECIAL
 +                 ​(METHODCP "<​init>"​
 +                           "​java.lang.Exception"​ NIL VOID)))
 +         (4 (RETURN))
 +         ​(ENDOFCODE 5))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 6)
 +       ​(PARSEDCODE
 +            (0 (ALOAD_0))
 +            (1 (ALOAD_1))
 +            (2 (INVOKESPECIAL
 +                    (METHODCP "<​init>"​ "​java.lang.Exception"​
 +                              ((CLASS "​java.lang.String"​))
 +                              VOID)))
 +            (5 (RETURN))
 +            (ENDOFCODE 6))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP))))
 +    (INTERFACES)
 +    (ACCESSFLAGS *CLASS*
 +                 ​*PUBLIC* *SUPER* *SYNCHRONIZED*))
 +   ​(CLASS
 +    "​java.lang.IllegalAccessException"​
 +    "​java.lang.Exception"​
 +    (JVM::​CONSTANT_POOL)
 +    (FIELDS)
 +    (METHODS
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 5)
 +       ​(PARSEDCODE
 +         (0 (ALOAD_0))
 +         (1 (INVOKESPECIAL
 +                 ​(METHODCP "<​init>"​
 +                           "​java.lang.Exception"​ NIL VOID)))
 +         (4 (RETURN))
 +         ​(ENDOFCODE 5))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 6)
 +       ​(PARSEDCODE
 +            (0 (ALOAD_0))
 +            (1 (ALOAD_1))
 +            (2 (INVOKESPECIAL
 +                    (METHODCP "<​init>"​ "​java.lang.Exception"​
 +                              ((CLASS "​java.lang.String"​))
 +                              VOID)))
 +            (5 (RETURN))
 +            (ENDOFCODE 6))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP))))
 +    (INTERFACES)
 +    (ACCESSFLAGS *CLASS*
 +                 ​*PUBLIC* *SUPER* *SYNCHRONIZED*))
 +   ​(CLASS
 +    "​java.lang.ArrayStoreException"​
 +    "​java.lang.RuntimeException"​
 +    (JVM::​CONSTANT_POOL)
 +    (FIELDS)
 +    (METHODS
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 5)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(INVOKESPECIAL
 +          (METHODCP "<​init>"​
 +                    "​java.lang.RuntimeException"​ NIL VOID)))
 +        (4 (RETURN))
 +        (ENDOFCODE 5))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 6)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (ALOAD_1))
 +        (2
 +         ​(INVOKESPECIAL
 +             ​(METHODCP "<​init>"​ "​java.lang.RuntimeException"​
 +                       ​((CLASS "​java.lang.String"​))
 +                       ​VOID)))
 +        (5 (RETURN))
 +        (ENDOFCODE 6))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP))))
 +    (INTERFACES)
 +    (ACCESSFLAGS *CLASS*
 +                 ​*PUBLIC* *SUPER* *SYNCHRONIZED*))
 +   ​(CLASS
 +    "​java.lang.ArrayIndexOutOfBoundsException"​
 +    "​java.lang.IndexOutOfBoundsException"​
 +    (JVM::​CONSTANT_POOL
 +         ​(STRING "Array index out of range: "))
 +    (FIELDS)
 +    (METHODS
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 5)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(INVOKESPECIAL
 +             ​(METHODCP "<​init>"​
 +                       "​java.lang.IndexOutOfBoundsException"​
 +                       NIL VOID)))
 +        (4 (RETURN))
 +        (ENDOFCODE 5))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS INT)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 3)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 24)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (NEW (CLASS "​java.lang.StringBuffer"​)))
 +        (4 (DUP))
 +        (5
 +         ​(INVOKESPECIAL
 +              (METHODCP "<​init>"​
 +                        "​java.lang.StringBuffer"​ NIL VOID)))
 +        (8 (LDC 0))
 +        (10
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​append"​ "​java.lang.StringBuffer"​
 +                         ​((CLASS "​java.lang.String"​))
 +                         ​(CLASS "​java.lang.StringBuffer"​))))
 +        (13 (ILOAD_1))
 +        (14
 +         ​(INVOKEVIRTUAL
 +           ​(METHODCP "​append"​ "​java.lang.StringBuffer"​ (INT)
 +                     ​(CLASS "​java.lang.StringBuffer"​))))
 +        (17
 +          (INVOKEVIRTUAL
 +               ​(METHODCP "​toString"​ "​java.lang.StringBuffer"​
 +                         NIL (CLASS "​java.lang.String"​))))
 +        (20
 +         ​(INVOKESPECIAL
 +             ​(METHODCP "<​init>"​
 +                       "​java.lang.IndexOutOfBoundsException"​
 +                       ​((CLASS "​java.lang.String"​))
 +                       ​VOID)))
 +        (23 (RETURN))
 +        (ENDOFCODE 24))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 6)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (ALOAD_1))
 +        (2
 +         ​(INVOKESPECIAL
 +             ​(METHODCP "<​init>"​
 +                       "​java.lang.IndexOutOfBoundsException"​
 +                       ​((CLASS "​java.lang.String"​))
 +                       ​VOID)))
 +        (5 (RETURN))
 +        (ENDOFCODE 6))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP))))
 +    (INTERFACES)
 +    (ACCESSFLAGS *CLASS*
 +                 ​*PUBLIC* *SUPER* *SYNCHRONIZED*))
 +   ​(CLASS
 +    "​java.lang.Boolean"​ "​java.lang.Object"​
 +    (JVM::​CONSTANT_POOL (STRING "​true"​)
 +                        (STRING "​false"​))
 +    (FIELDS (FIELD "​value"​
 +                   ​BOOLEAN (ACCESSFLAGS *CLASS* *PRIVATE*)
 +                   -1))
 +    (METHODS
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS BOOLEAN)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 10)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(INVOKESPECIAL
 +           ​(METHODCP "<​init>"​ "​java.lang.Object"​ NIL VOID)))
 +        (4 (ALOAD_0))
 +        (5 (ILOAD_1))
 +        (6 (PUTFIELD
 +                (JVM::​FIELDCP
 +                     "​value"​ "​java.lang.Boolean"​ BOOLEAN)))
 +        (9 (RETURN))
 +        (ENDOFCODE 10))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​booleanValue"​ (PARAMETERS)
 +      (RETURNTYPE BOOLEAN)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 5)
 +       ​(PARSEDCODE
 +         (0 (ALOAD_0))
 +         (1 (GETFIELD
 +                 ​(JVM::​FIELDCP
 +                      "​value"​ "​java.lang.Boolean"​ BOOLEAN)))
 +         (4 (IRETURN))
 +         ​(ENDOFCODE 5))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​toString"​ (PARAMETERS)
 +      (RETURNTYPE (CLASS "​java.lang.String"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 15)
 +       ​(PARSEDCODE
 +         (0 (ALOAD_0))
 +         (1 (GETFIELD
 +                 ​(JVM::​FIELDCP
 +                      "​value"​ "​java.lang.Boolean"​ BOOLEAN)))
 +         (4 (IFEQ 12))
 +         (7 (LDC 0))
 +         (9 (GOTO 14))
 +         (12 (LDC 1))
 +         (14 (ARETURN))
 +         ​(ENDOFCODE 15))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +            (12 (FRAME (LOCALS (CLASS "​java.lang.Boolean"​))
 +                       ​(STACK)
 +                       NIL))
 +            (14 (FRAME (LOCALS (CLASS "​java.lang.Boolean"​))
 +                       ​(STACK (CLASS "​java.lang.String"​))
 +                       ​NIL)))))
 +     ​(METHOD
 +      "​hashCode"​ (PARAMETERS)
 +      (RETURNTYPE INT)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 17)
 +       ​(PARSEDCODE
 +         (0 (ALOAD_0))
 +         (1 (GETFIELD
 +                 ​(JVM::​FIELDCP
 +                      "​value"​ "​java.lang.Boolean"​ BOOLEAN)))
 +         (4 (IFEQ 13))
 +         (7 (JVM::​SIPUSH 1231))
 +         (10 (GOTO 16))
 +         (13 (JVM::​SIPUSH 1237))
 +         (16 (IRETURN))
 +         ​(ENDOFCODE 17))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +            (13 (FRAME (LOCALS (CLASS "​java.lang.Boolean"​))
 +                       ​(STACK)
 +                       NIL))
 +            (16 (FRAME (LOCALS (CLASS "​java.lang.Boolean"​))
 +                       ​(STACK INT)
 +                       ​NIL)))))
 +     ​(METHOD
 +      "​equals"​
 +      (PARAMETERS (CLASS "​java.lang.Object"​))
 +      (RETURNTYPE BOOLEAN)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 29)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_1))
 +        (1 (JVM::​INSTANCEOF (CLASS "​java.lang.Boolean"​)))
 +        (4 (IFEQ 27))
 +        (7 (ALOAD_0))
 +        (8 (GETFIELD
 +                (JVM::​FIELDCP
 +                     "​value"​ "​java.lang.Boolean"​ BOOLEAN)))
 +        (11 (ALOAD_1))
 +        (12 (CHECKCAST (CLASS "​java.lang.Boolean"​)))
 +        (15
 +           ​(INVOKEVIRTUAL
 +                (METHODCP "​booleanValue"​
 +                          "​java.lang.Boolean"​ NIL BOOLEAN)))
 +        (18 (IF_ICMPNE 25))
 +        (21 (ICONST_1))
 +        (22 (GOTO 26))
 +        (25 (ICONST_0))
 +        (26 (IRETURN))
 +        (27 (ICONST_0))
 +        (28 (IRETURN))
 +        (ENDOFCODE 29))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +            (25 (FRAME (LOCALS (CLASS "​java.lang.Boolean"​)
 +                               ​(CLASS "​java.lang.Object"​))
 +                       ​(STACK)
 +                       NIL))
 +            (26 (FRAME (LOCALS (CLASS "​java.lang.Boolean"​)
 +                               ​(CLASS "​java.lang.Object"​))
 +                       ​(STACK INT)
 +                       NIL))
 +            (27 (FRAME (LOCALS (CLASS "​java.lang.Boolean"​)
 +                               ​(CLASS "​java.lang.Object"​))
 +                       ​(STACK)
 +                       ​NIL))))))
 +    (INTERFACES)
 +    (ACCESSFLAGS *CLASS* *FINAL*
 +                 ​*PUBLIC* *SUPER* *SYNCHRONIZED*))
 +   ​(CLASS
 +    "​java.lang.IndexOutOfBoundsException"​
 +    "​java.lang.RuntimeException"​
 +    (JVM::​CONSTANT_POOL)
 +    (FIELDS)
 +    (METHODS
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 5)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(INVOKESPECIAL
 +          (METHODCP "<​init>"​
 +                    "​java.lang.RuntimeException"​ NIL VOID)))
 +        (4 (RETURN))
 +        (ENDOFCODE 5))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 6)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (ALOAD_1))
 +        (2
 +         ​(INVOKESPECIAL
 +             ​(METHODCP "<​init>"​ "​java.lang.RuntimeException"​
 +                       ​((CLASS "​java.lang.String"​))
 +                       ​VOID)))
 +        (5 (RETURN))
 +        (ENDOFCODE 6))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP))))
 +    (INTERFACES)
 +    (ACCESSFLAGS *CLASS*
 +                 ​*PUBLIC* *SUPER* *SYNCHRONIZED*))
 +   ​(CLASS
 +    "​java.lang.Byte"​ "​java.lang.Object"​
 +    (JVM::​CONSTANT_POOL (INT -128)
 +                        (INT 127))
 +    (FIELDS
 +      (FIELD "​MIN_VALUE"​ BYTE
 +             ​(ACCESSFLAGS *CLASS* *FINAL* *PUBLIC* *STATIC*)
 +             0)
 +      (FIELD "​MAX_VALUE"​ BYTE
 +             ​(ACCESSFLAGS *CLASS* *FINAL* *PUBLIC* *STATIC*)
 +             1)
 +      (FIELD "​value"​
 +             BYTE (ACCESSFLAGS *CLASS* *PRIVATE*)
 +             -1))
 +    (METHODS
 +     ​(METHOD
 +      "​parseByte"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE BYTE)
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *STATIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 7)
 +       ​(PARSEDCODE
 +          (0 (ALOAD_0))
 +          (1 (BIPUSH 10))
 +          (3 (INVOKESTATIC
 +                  (METHODCP "​parseByte"​ "​java.lang.Byte"​
 +                            ((CLASS "​java.lang.String"​) INT)
 +                            BYTE)))
 +          (6 (IRETURN))
 +          (ENDOFCODE 7))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​parseByte"​
 +      (PARAMETERS (CLASS "​java.lang.String"​)
 +                  INT)
 +      (RETURNTYPE BYTE)
 +      (ACCESSFLAGS *CLASS* *PUBLIC* *STATIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 3)
 +       ​(CODE_LENGTH 29)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (ILOAD_1))
 +        (2 (INVOKESTATIC
 +                (METHODCP "​parseInt"​ "​java.lang.Integer"​
 +                          ((CLASS "​java.lang.String"​) INT)
 +                          INT)))
 +        (5 (ISTORE_2))
 +        (6 (ILOAD_2))
 +        (7 (BIPUSH -128))
 +        (9 (IF_ICMPLT 18))
 +        (12 (ILOAD_2))
 +        (13 (BIPUSH 127))
 +        (15 (IF_ICMPLE 26))
 +        (18 (NEW (CLASS "​java.lang.NumberFormatException"​)))
 +        (21 (DUP))
 +        (22 (INVOKESPECIAL
 +                 ​(METHODCP "<​init>"​
 +                           "​java.lang.NumberFormatException"​
 +                           NIL VOID)))
 +        (25 (ATHROW))
 +        (26 (ILOAD_2))
 +        (27 (JVM::I2B))
 +        (28 (IRETURN))
 +        (ENDOFCODE 29))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +            (18 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT)
 +                       ​(STACK)
 +                       NIL))
 +            (26 (FRAME (LOCALS (CLASS "​java.lang.String"​)
 +                               INT INT)
 +                       ​(STACK)
 +                       ​NIL)))))
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS BYTE)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 10)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(INVOKESPECIAL
 +           ​(METHODCP "<​init>"​ "​java.lang.Object"​ NIL VOID)))
 +        (4 (ALOAD_0))
 +        (5 (ILOAD_1))
 +        (6
 +         ​(PUTFIELD
 +              (JVM::​FIELDCP "​value"​ "​java.lang.Byte"​ BYTE)))
 +        (9 (RETURN))
 +        (ENDOFCODE 10))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​byteValue"​ (PARAMETERS)
 +      (RETURNTYPE BYTE)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 5)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(GETFIELD
 +              (JVM::​FIELDCP "​value"​ "​java.lang.Byte"​ BYTE)))
 +        (4 (IRETURN))
 +        (ENDOFCODE 5))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​toString"​ (PARAMETERS)
 +      (RETURNTYPE (CLASS "​java.lang.String"​))
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 8)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(GETFIELD
 +              (JVM::​FIELDCP "​value"​ "​java.lang.Byte"​ BYTE)))
 +        (4 (INVOKESTATIC
 +                (METHODCP "​valueOf"​ "​java.lang.String"​ (INT)
 +                          (CLASS "​java.lang.String"​))))
 +        (7 (ARETURN))
 +        (ENDOFCODE 8))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​hashCode"​ (PARAMETERS)
 +      (RETURNTYPE INT)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 5)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(GETFIELD
 +              (JVM::​FIELDCP "​value"​ "​java.lang.Byte"​ BYTE)))
 +        (4 (IRETURN))
 +        (ENDOFCODE 5))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "​equals"​
 +      (PARAMETERS (CLASS "​java.lang.Object"​))
 +      (RETURNTYPE BOOLEAN)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 29)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_1))
 +        (1 (JVM::​INSTANCEOF (CLASS "​java.lang.Byte"​)))
 +        (4 (IFEQ 27))
 +        (7 (ALOAD_0))
 +        (8
 +         ​(GETFIELD
 +              (JVM::​FIELDCP "​value"​ "​java.lang.Byte"​ BYTE)))
 +        (11 (ALOAD_1))
 +        (12 (CHECKCAST (CLASS "​java.lang.Byte"​)))
 +        (15
 +         ​(INVOKEVIRTUAL
 +          (METHODCP "​byteValue"​ "​java.lang.Byte"​ NIL BYTE)))
 +        (18 (IF_ICMPNE 25))
 +        (21 (ICONST_1))
 +        (22 (GOTO 26))
 +        (25 (ICONST_0))
 +        (26 (IRETURN))
 +        (27 (ICONST_0))
 +        (28 (IRETURN))
 +        (ENDOFCODE 29))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP
 +            (25 (FRAME (LOCALS (CLASS "​java.lang.Byte"​)
 +                               ​(CLASS "​java.lang.Object"​))
 +                       ​(STACK)
 +                       NIL))
 +            (26 (FRAME (LOCALS (CLASS "​java.lang.Byte"​)
 +                               ​(CLASS "​java.lang.Object"​))
 +                       ​(STACK INT)
 +                       NIL))
 +            (27 (FRAME (LOCALS (CLASS "​java.lang.Byte"​)
 +                               ​(CLASS "​java.lang.Object"​))
 +                       ​(STACK)
 +                       ​NIL))))))
 +    (INTERFACES)
 +    (ACCESSFLAGS *CLASS* *FINAL*
 +                 ​*PUBLIC* *SUPER* *SYNCHRONIZED*))
 +   ​(CLASS
 +    "​java.lang.NumberFormatException"​
 +    "​java.lang.IllegalArgumentException"​
 +    (JVM::​CONSTANT_POOL)
 +    (FIELDS)
 +    (METHODS
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 5)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(INVOKESPECIAL
 +              (METHODCP "<​init>"​
 +                        "​java.lang.IllegalArgumentException"​
 +                        NIL VOID)))
 +        (4 (RETURN))
 +        (ENDOFCODE 5))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP)))
 +     ​(METHOD
 +      "<​init>"​
 +      (PARAMETERS (CLASS "​java.lang.String"​))
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 2)
 +       ​(JVM::​MAX_LOCALS 2)
 +       ​(CODE_LENGTH 6)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1 (ALOAD_1))
 +        (2
 +         ​(INVOKESPECIAL
 +              (METHODCP "<​init>"​
 +                        "​java.lang.IllegalArgumentException"​
 +                        ((CLASS "​java.lang.String"​))
 +                        VOID)))
 +        (5 (RETURN))
 +        (ENDOFCODE 6))
 +       ​(EXCEPTIONS)
 +       ​(STACKMAP))))
 +    (INTERFACES)
 +    (ACCESSFLAGS *CLASS*
 +                 ​*PUBLIC* *SUPER* *SYNCHRONIZED*))
 +   ​(CLASS
 +    "​java.lang.IllegalArgumentException"​
 +    "​java.lang.RuntimeException"​
 +    (JVM::​CONSTANT_POOL)
 +    (FIELDS)
 +    (METHODS
 +     ​(METHOD
 +      "<​init>"​ (PARAMETERS)
 +      (RETURNTYPE VOID)
 +      (ACCESSFLAGS *CLASS* *PUBLIC*)
 +      (CODE
 +       ​(MAX_STACK 1)
 +       ​(JVM::​MAX_LOCALS 1)
 +       ​(CODE_LENGTH 5)
 +       ​(PARSEDCODE
 +        (0 (ALOAD_0))
 +        (1
 +         ​(INVOKESPECIAL
 +          (METHODCP "<​init>"​
 +                    "​java.lang.RuntimeException"​ NIL VOID)))
 +        (4 (RETURN))
 +        (ENDOFCODE 5))
 +       ​(EXCEPTIONS)
 +