let e_zero = Tint "0"