let tsize_of_field ?(mode=compute_int_mode) f =
      Aint.to_term (xsize_of_field ~mode f)