Symbol: CL_HIGHEST_NODEID