vector-sized-1.4.1.0: Size tagged vectors