vector-sized-1.4.3.1: Size tagged vectors