public VLSNRecoveryProxy getVLSNProxy() {
int stride = configManager.getInt(RepParams.VLSN_STRIDE);
int maxMappings = configManager.getInt(RepParams.VLSN_MAX_MAP);
int maxDist = configManager.getInt(RepParams.VLSN_MAX_DIST);
return new VLSNRecoveryTracker(this, stride, maxMappings, maxDist);
}