On 08 Nov 2010, at 19:40, Joost van der Sluis wrote: > Also, if you use -gw3, all identifiers are not converted to uppercase, > as -gw2 and -gs do. You can disable that for stabs with -gp as well. Jonas