let
size_of_int64 sz : x_size =
Aint
.of_int64 sz