let cnst_mult_size n (sz:x_size) : x_size = Aint.cnst_mult n sz