Symbol: vertex_integer