code: function intArrayFromString(stringy, dontAddNull, length /* optional */) {
    var ret = (new Runtime.UTF8Processor()).processJSString(stringy);
    if (length) {
      ret.length = length;
    }
    if (!dontAddNull) {
      ret.push(0);
    }
    return ret;
  }
docs: Tools This processes a JS string into a C-line array of numbers, 0-terminated. For LLVM-originating strings, see parser.js:parseLLVMString function