let size_of_int64 sz : x_size = Aint.of_int64 sz