let term_of_xsize ai : t_size = Aint.to_term ai