these work

tests/Cichelli.exp

+[2084]
\ No newline at end of file

tests/postponed/Cichelli.sapl → tests/Cichelli.sapl

@@ -3,7 +3,7 @@ Cichelli.Start::I = <{Cichelli._c;198;4_100}> (Cichelli.cichelli_67 (Flite.Cons
 :: Flite.List = Flite.Nil | Flite.Cons a1 a2
 Flite.str !_x_0 = select _x_0 ("" -> Flite.Nil) (_ -> Flite.Cons (Flite.char (string_select _x_0 0)) (Flite.str (<{StdString.%_10}> _x_0 (_Tuple2 1 (string_size _x_0)))))
 <{StdString.%_10}> !str_0 !_x_1 = select _x_1 (_Tuple2 a b -> string_slice str_0 a b)
-Flite.char::I !c_0::C = toIntC c_0
+Flite.char::I !c_0::C = C2I c_0
 Cichelli.cichelli_67 !ss_0 = <{Cichelli._c;165;15_99}> (Cichelli.freqSorted_68 (Cichelli.map Cichelli.enKey ss_0))
 Cichelli.enKey k_0 = Cichelli.K k_0 (Cichelli.head k_0) (Cichelli.last k_0) (Cichelli.len k_0)
 Cichelli.len::I !xs_0 = Cichelli.lenAcc 0 xs_0

tests/SumPuz.exp

+[3]
\ No newline at end of file