vector-sized-1.0.0.0: Size tagged vectors