let e_icst z = TERM.Tint z