const region_getterinfo: JSJitInfo;