Hi Bill, > Are you sure you wouldn't rather use the raw_ostream instead? :-) this is a helper tool run during the build - speed doesn't matter. So while all my love goes to raw_ostream, here iostream will do. Thanks for pointing it out though! Ciao, Duncan.