const srcdoc_getterinfo: JSJitInfo;