Symbol: MAXVNODES_MAX