Symbol: LT_INT_TO_POINTER