Thank you for the information. That is suggestive that the bug is fixed, but perhaps someone else knows for sure. Thanks, -- Mark Mitchell mark@codesourcery.com CodeSourcery, LLC http://www.codesourcery.com