let
e_icst z =
Fol
.e_cnst (
Fol
.c_int_of_str z)