let
size_of_int sz : x_size =
Aint
.of_int sz