static EncodedJSValue JSC_HOST_CALL stringFromCharCode(ExecState* exec)
{
    if (LIKELY(exec->argumentCount() == 1)) {

        if (exec->argument(0).isSymbolic()) {
            Statistics::statistics()->accumulate("Concolic::MissingInstrumentation::stringFromCharCode", 1);
        }

        return JSValue::encode(jsSingleCharacterString(exec, exec->argument(0).toUInt32(exec)));
    }
    return JSValue::encode(stringFromCharCodeSlowCase(exec));
}
static EncodedJSValue JSC_HOST_CALL stringFromCharCode(ExecState* exec)
{
    if (LIKELY(exec->argumentCount() == 1))
        return JSValue::encode(jsSingleCharacterString(exec, exec->uncheckedArgument(0).toUInt32(exec)));
    return JSValue::encode(stringFromCharCodeSlowCase(exec));
}
static JSValue JSC_HOST_CALL stringFromCharCode(ExecState* exec, JSObject*, JSValue, const ArgList& args)
{
    if (LIKELY(args.size() == 1))
        return jsSingleCharacterString(exec, args.at(0).toUInt32(exec));
    return stringFromCharCodeSlowCase(exec, args);
}