Size-parameterized vector types and functions