const domain_setterinfo: JSJitInfo;