Symbol: TYPE_INT128