refinement for vnodeId.c