let is_full i = (i == mk_real)