const charCode_getterinfo: JSJitInfo;