Symbol: intp