const region_setterinfo: JSJitInfo;