included std::vector in the AST