let
of_int64 i = inject_ival (
Ival
.of_int64 i)