Simon Marlow wrote:

[...] But I don't see a way around it! [...]

What's wrong with Alastair's suggestion to post-process the generated assembler code? We mangle it anyway with -f-via-C, and the additional mangling required looks quite stable and easy to implement. Cheers, S.