const redirect_getterinfo: JSJitInfo;