(in-package "JVM")
(acl2::set-verify-guards-eagerness 2)
(defconst *runtime-java-lang-String* 
  '(CLASS
    "java.lang.String" "java.lang.Object"
    (JVM::CONSTANT_POOL (STRING 15)
                        (STRING 17)
                        (STRING 19))
    (FIELDS (FIELD "java.lang.String" "value" (ARRAY CHAR)
                   (ACCESSFLAGS *CLASS* *PRIVATE*))
            (FIELD "java.lang.String" "offset"
                   INT (ACCESSFLAGS *CLASS* *PRIVATE*))
            (FIELD "java.lang.String" "count"
                   INT (ACCESSFLAGS *CLASS* *PRIVATE*)))
    (METHODS
     (METHOD
      "java.lang.String" "<init>" (PARAMETERS)
      (RETURNTYPE . VOID)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE
       (MAX_STACK . 2)
       (MAX_LOCAL . 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
      "java.lang.String"
      "<init>" (PARAMETERS "java.lang.String")
      (RETURNTYPE . VOID)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE
       (MAX_STACK . 5)
       (MAX_LOCAL . 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
      "java.lang.String"
      "<init>" (PARAMETERS (ARRAY CHAR))
      (RETURNTYPE . VOID)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE
       (MAX_STACK . 5)
       (MAX_LOCAL . 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
      "java.lang.String" "<init>"
      (PARAMETERS (ARRAY CHAR) INT INT)
      (RETURNTYPE . VOID)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE
       (MAX_STACK . 5)
       (MAX_LOCAL . 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
      "java.lang.String" "<init>"
      (PARAMETERS (ARRAY BYTE)
                  INT INT (CLASS "java.lang.String"))
      (RETURNTYPE . VOID)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE (MAX_STACK . 5)
            (MAX_LOCAL . 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
      "java.lang.String" "<init>"
      (PARAMETERS (ARRAY BYTE)
                  (CLASS "java.lang.String"))
      (RETURNTYPE . VOID)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE
       (MAX_STACK . 5)
       (MAX_LOCAL . 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
      "java.lang.String" "<init>"
      (PARAMETERS (ARRAY BYTE) INT INT)
      (RETURNTYPE . VOID)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE
       (MAX_STACK . 4)
       (MAX_LOCAL . 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
      "java.lang.String"
      "<init>" (PARAMETERS (ARRAY BYTE))
      (RETURNTYPE . VOID)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE (MAX_STACK . 4)
            (MAX_LOCAL . 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
      "java.lang.String" "<init>"
      (PARAMETERS "java.lang.StringBuffer")
      (RETURNTYPE . VOID)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE
       (MAX_STACK . 2)
       (MAX_LOCAL . 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
      "java.lang.String" "<init>"
      (PARAMETERS INT INT (ARRAY CHAR))
      (RETURNTYPE . VOID)
      (ACCESSFLAGS *CLASS* *PRIVATE*)
      (CODE
       (MAX_STACK . 2)
       (MAX_LOCAL . 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
      "java.lang.String" "length" (PARAMETERS)
      (RETURNTYPE . INT)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE
       (MAX_STACK . 1)
       (MAX_LOCAL . 1)
       (CODE_LENGTH . 5)
       (PARSEDCODE (0 (ALOAD_0))
                   (1 (GETFIELD (JVM::FIELDCP "count" "java.lang.String" INT)))
                   (4 (IRETURN))
                   (ENDOFCODE 5))
       (EXCEPTIONS)
       (STACKMAP)))
     (METHOD "java.lang.String"
             "charAt" (PARAMETERS INT)
             (RETURNTYPE . CHAR)
             (ACCESSFLAGS *CLASS* *NATIVE* *PUBLIC*)
             (CODE (MAX_STACK . 0)
                   (MAX_LOCAL . 0)
                   (CODE_LENGTH . 0)
                   (PARSEDCODE . 0)
                   (EXCEPTIONS)
                   (STACKMAP)))
     (METHOD
      "java.lang.String" "getChars"
      (PARAMETERS INT INT (ARRAY CHAR) INT)
      (RETURNTYPE . VOID)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE
       (MAX_STACK . 6)
       (MAX_LOCAL . 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
      "java.lang.String" "getBytes"
      (PARAMETERS "java.lang.String")
      (RETURNTYPE ARRAY BYTE)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE
       (MAX_STACK . 4)
       (MAX_LOCAL . 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
      "java.lang.String"
      "getBytes" (PARAMETERS)
      (RETURNTYPE ARRAY BYTE)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE
       (MAX_STACK . 3)
       (MAX_LOCAL . 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 "java.lang.String"
             "equals" (PARAMETERS "java.lang.Object")
             (RETURNTYPE . BOOLEAN)
             (ACCESSFLAGS *CLASS* *NATIVE* *PUBLIC*)
             (CODE (MAX_STACK . 0)
                   (MAX_LOCAL . 0)
                   (CODE_LENGTH . 0)
                   (PARSEDCODE . 0)
                   (EXCEPTIONS)
                   (STACKMAP)))
     (METHOD
      "java.lang.String" "compareTo"
      (PARAMETERS "java.lang.String")
      (RETURNTYPE . INT)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE (MAX_STACK . 3)
            (MAX_LOCAL . 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
      "java.lang.String" "regionMatches"
      (PARAMETERS BOOLEAN INT (CLASS "java.lang.String")
                  INT INT)
      (RETURNTYPE . BOOLEAN)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE (MAX_STACK . 6)
            (MAX_LOCAL . 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
      "java.lang.String" "startsWith"
      (PARAMETERS "java.lang.String" INT)
      (RETURNTYPE . BOOLEAN)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE (MAX_STACK . 3)
            (MAX_LOCAL . 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
      "java.lang.String" "startsWith"
      (PARAMETERS "java.lang.String")
      (RETURNTYPE . BOOLEAN)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE
       (MAX_STACK . 3)
       (MAX_LOCAL . 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
      "java.lang.String" "endsWith"
      (PARAMETERS "java.lang.String")
      (RETURNTYPE . BOOLEAN)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE
       (MAX_STACK . 4)
       (MAX_LOCAL . 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
      "java.lang.String"
      "hashCode" (PARAMETERS)
      (RETURNTYPE . INT)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE
       (MAX_STACK . 3)
       (MAX_LOCAL . 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 "java.lang.String"
             "indexOf" (PARAMETERS INT)
             (RETURNTYPE . INT)
             (ACCESSFLAGS *CLASS* *NATIVE* *PUBLIC*)
             (CODE (MAX_STACK . 0)
                   (MAX_LOCAL . 0)
                   (CODE_LENGTH . 0)
                   (PARSEDCODE . 0)
                   (EXCEPTIONS)
                   (STACKMAP)))
     (METHOD "java.lang.String"
             "indexOf" (PARAMETERS INT INT)
             (RETURNTYPE . INT)
             (ACCESSFLAGS *CLASS* *NATIVE* *PUBLIC*)
             (CODE (MAX_STACK . 0)
                   (MAX_LOCAL . 0)
                   (CODE_LENGTH . 0)
                   (PARSEDCODE . 0)
                   (EXCEPTIONS)
                   (STACKMAP)))
     (METHOD
      "java.lang.String"
      "lastIndexOf" (PARAMETERS INT)
      (RETURNTYPE . INT)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE
       (MAX_STACK . 4)
       (MAX_LOCAL . 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
      "java.lang.String"
      "lastIndexOf" (PARAMETERS INT INT)
      (RETURNTYPE . INT)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE (MAX_STACK . 3)
            (MAX_LOCAL . 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
      "java.lang.String" "indexOf"
      (PARAMETERS "java.lang.String")
      (RETURNTYPE . INT)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE
       (MAX_STACK . 3)
       (MAX_LOCAL . 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
      "java.lang.String" "indexOf"
      (PARAMETERS "java.lang.String" INT)
      (RETURNTYPE . INT)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE (MAX_STACK . 3)
            (MAX_LOCAL . 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
      "java.lang.String"
      "substring" (PARAMETERS INT)
      (RETURNTYPE . "java.lang.String")
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE
       (MAX_STACK . 3)
       (MAX_LOCAL . 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
      "java.lang.String"
      "substring" (PARAMETERS INT INT)
      (RETURNTYPE . "java.lang.String")
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE
       (MAX_STACK . 5)
       (MAX_LOCAL . 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
      "java.lang.String"
      "concat" (PARAMETERS "java.lang.String")
      (RETURNTYPE . "java.lang.String")
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE
       (MAX_STACK . 5)
       (MAX_LOCAL . 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
      "java.lang.String"
      "replace" (PARAMETERS CHAR CHAR)
      (RETURNTYPE . "java.lang.String")
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE (MAX_STACK . 5)
            (MAX_LOCAL . 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
      "java.lang.String"
      "toLowerCase" (PARAMETERS)
      (RETURNTYPE . "java.lang.String")
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE (MAX_STACK . 5)
            (MAX_LOCAL . 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
      "java.lang.String"
      "toUpperCase" (PARAMETERS)
      (RETURNTYPE . "java.lang.String")
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE (MAX_STACK . 5)
            (MAX_LOCAL . 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
      "java.lang.String" "trim" (PARAMETERS)
      (RETURNTYPE . "java.lang.String")
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE
       (MAX_STACK . 3)
       (MAX_LOCAL . 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 "java.lang.String"
             "toString" (PARAMETERS)
             (RETURNTYPE . "java.lang.String")
             (ACCESSFLAGS *CLASS* *PUBLIC*)
             (CODE (MAX_STACK . 1)
                   (MAX_LOCAL . 1)
                   (CODE_LENGTH . 2)
                   (PARSEDCODE (0 (ALOAD_0))
                               (1 (ARETURN))
                               (ENDOFCODE 2))
                   (EXCEPTIONS)
                   (STACKMAP)))
     (METHOD
      "java.lang.String"
      "toCharArray" (PARAMETERS)
      (RETURNTYPE ARRAY CHAR)
      (ACCESSFLAGS *CLASS* *PUBLIC*)
      (CODE
       (MAX_STACK . 5)
       (MAX_LOCAL . 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
      "java.lang.String" "valueOf"
      (PARAMETERS "java.lang.Object")
      (RETURNTYPE . "java.lang.String")
      (ACCESSFLAGS *CLASS* *PUBLIC* *STATIC*)
      (CODE (MAX_STACK . 1)
            (MAX_LOCAL . 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
      "java.lang.String"
      "valueOf" (PARAMETERS (ARRAY CHAR))
      (RETURNTYPE . "java.lang.String")
      (ACCESSFLAGS *CLASS* *PUBLIC* *STATIC*)
      (CODE
       (MAX_STACK . 3)
       (MAX_LOCAL . 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
      "java.lang.String" "valueOf"
      (PARAMETERS (ARRAY CHAR) INT INT)
      (RETURNTYPE . "java.lang.String")
      (ACCESSFLAGS *CLASS* *PUBLIC* *STATIC*)
      (CODE (MAX_STACK . 5)
            (MAX_LOCAL . 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 "java.lang.String"
             "valueOf" (PARAMETERS BOOLEAN)
             (RETURNTYPE . "java.lang.String")
             (ACCESSFLAGS *CLASS* *PUBLIC* *STATIC*)
             (CODE (MAX_STACK . 1)
                   (MAX_LOCAL . 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
      "java.lang.String"
      "valueOf" (PARAMETERS CHAR)
      (RETURNTYPE . "java.lang.String")
      (ACCESSFLAGS *CLASS* *PUBLIC* *STATIC*)
      (CODE (MAX_STACK . 5)
            (MAX_LOCAL . 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
      "java.lang.String"
      "valueOf" (PARAMETERS INT)
      (RETURNTYPE . "java.lang.String")
      (ACCESSFLAGS *CLASS* *PUBLIC* *STATIC*)
      (CODE
       (MAX_STACK . 2)
       (MAX_LOCAL . 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
      "java.lang.String"
      "valueOf" (PARAMETERS LONG)
      (RETURNTYPE . "java.lang.String")
      (ACCESSFLAGS *CLASS* *PUBLIC* *STATIC*)
      (CODE
       (MAX_STACK . 3)
       (MAX_LOCAL . 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)
    (STATIC-FIELDS)
    (JVM::STATUS . 2)
    (JVM::ACCESS-FLAGS *CLASS*
                       *FINAL* *PUBLIC* *SUPER* *SYNCHRONIZED*)
    (JVM::INIT-THREAD . -1)
    (CLASS-REF . 20)))

(defun runtime-java-lang-String ()
  *runtime-java-lang-String*)