Symbol: TICODE_is1