let of_char c = inject_ival (Ival.of_int (Char.code c))