| Index: src/runtime.js | 
| =================================================================== | 
| --- src/runtime.js	(revision 3546) | 
| +++ src/runtime.js	(working copy) | 
| @@ -474,6 +474,17 @@ | 
| } | 
|  | 
|  | 
| +// Specialized version of String.charAt. It assumes string as | 
| +// the receiver type and that the index is a number. | 
| +function STRING_CHAR_AT(pos) { | 
| +  var char_code = %_FastCharCodeAt(this, pos); | 
| +  if (!%_IsSmi(char_code)) { | 
| +    return %StringCharAt(this, pos); | 
| +  } | 
| +  return %CharFromCode(char_code); | 
| +} | 
| + | 
| + | 
| /* ------------------------------------- | 
| - - -   C o n v e r s i o n s   - - - | 
| ------------------------------------- | 
|  |