Symbol: le_int