Thank you, Guy and William, for answering this question! -- ------------------------------------------------------------------------------- Eric Eide <eeide@cs.utah.edu> . University of Utah Kahlert School of Computing https://www.cs.utah.edu/~eeide/ . +1 801-585-5512 . Salt Lake City, Utah, USA