vector-sized-1.1.1.0: Size tagged vectors