output @number for vertex_AST