       1mlrmdups 4m22mlist0m
              Procedure  to  remove  duplicate  elements  from  a  list.   The
              returned list will be sorted.
