Symbol: TYPE_WIDTH