let size_of_int sz : x_size = Aint.of_int sz