const srcdoc_setterinfo: JSJitInfo;