vector-sized-1.2.0.0: Size tagged vectors