67     assertIntEquals(0, $opt$noinline$getStringLength(""));  in main()
68     assertIntEquals(3, $opt$noinline$getStringLength("abc"));  in main()
69     assertIntEquals(10, $opt$noinline$getStringLength("0123456789"));  in main()
71     assertBooleanEquals(true, $opt$noinline$isStringEmpty(""));  in main()
72     assertBooleanEquals(false, $opt$noinline$isStringEmpty("abc"));  in main()
73     assertBooleanEquals(false, $opt$noinline$isStringEmpty("0123456789"));  in main()
75     assertCharEquals('a', $opt$noinline$stringCharAt("a", 0));  in main()
76     assertCharEquals('a', $opt$noinline$stringCharAt("abc", 0));  in main()
77     assertCharEquals('b', $opt$noinline$stringCharAt("abc", 1));  in main()
78     assertCharEquals('c', $opt$noinline$stringCharAt("abc", 2));  in main()
79     assertCharEquals('7', $opt$noinline$stringCharAt("0123456789", 7));  in main()
106       $opt$noinline$stringCharAt("abc", -1);  in main()
113       $opt$noinline$stringCharAt("abc", 3);  in main()
120       $opt$noinline$stringCharAt("abc", Integer.MAX_VALUE);  in main()
127     assertCharEquals('7', $opt$noinline$stringCharAtCatch("0123456789", 7));  in main()
128     assertCharEquals('\0', $opt$noinline$stringCharAtCatch("0123456789", 10));  in main()
130     assertCharEquals('7', $opt$noinline$stringCharAtCatchPhiReturn("0123456789", 7));  in main()
131     assertCharEquals('\0', $opt$noinline$stringCharAtCatchPhiReturn("0123456789", 10));  in main()
133     assertIntEquals('a' + 'b' + 'c', $opt$noinline$stringSumChars("abc"));  in main()
134     assertIntEquals('a' + 'b' + 'c', $opt$noinline$stringSumLeadingChars("abcdef", 3));  in main()
136       $opt$noinline$stringSumLeadingChars("abcdef", 7);  in main()
143     assertIntEquals('a' + 'b' + 'c' + 'd', $opt$noinline$stringSum4LeadingChars("abcdef"));  in main()
145       $opt$noinline$stringSum4LeadingChars("abc");  in main()
163   static public int $opt$noinline$getStringLength(String s) {  in $opt$noinline$getStringLength()
178   static public boolean $opt$noinline$isStringEmpty(String s) {  in $opt$noinline$isStringEmpty()
194   static public char $opt$noinline$stringCharAt(String s, int pos) {  in $opt$noinline$stringCharAt()
210   static public char $opt$noinline$stringCharAtCatch(String s, int pos) {  in $opt$noinline$stringCharAtCatch()
232   static public char $opt$noinline$stringCharAtCatchPhiReturn(String s, int pos) {  in $opt$noinline$stringCharAtCatchPhiReturn()
258   static public int $opt$noinline$stringSumChars(String s) {  in $opt$noinline$stringSumChars()
281   static public int $opt$noinline$stringSumLeadingChars(String s, int n) {  in $opt$noinline$stringSumLeadingChars()
312   static public int $opt$noinline$stringSum4LeadingChars(String s) {  in $opt$noinline$stringSum4LeadingChars()