Many thanks, Leif ! Adriano - Please send submissions to users at mozart-oz.org and administriva mail to users-request at mozart-oz.org. The Mozart Oz web site is at http://www.mozart-oz.org/. Please send bug reports to bugs at mozart-oz.org.