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