This patch is correct. I checked it in, with the minor addition of some additional comments. Thanks! -- Mark Mitchell mark@codesourcery.com CodeSourcery, LLC http://www.codesourcery.com