Symbol: ARTIFICIAL_VNID_BITS