Symbol: STATE_MDOCNAME