Rewrite IP_List.read_rangelist