let e_int64 k = Fol.e_int64 k