let
e_zero =
Tint
"0"