Symbol: di_int