Symbol: ARG_TYPE_WIDTH