6.1 A vector type