Bryan S Rosenburg wrote: > > Thanks, Livio. That sounds like the option I was hoping for. Donour, > can you try it out? > > Yup, this does seem to emit the symbol. Thanks Livio! A brief conversation with David Edelsohn indicates that maybe we shouldn't be doing this. Shouldn't we follow the ppc64-linux API? donour