vector-sized-1.0.1.0: Size tagged vectors