Symbol: proc_vertex