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