Header-only version of RedSVD