vector-sized-1.0.4.0: Size tagged vectors