const location_setterinfo: JSJitInfo;