Re: [Ada_list] Ada_list Digest, Vol 77, Issue 13