A vector type program