------- Comment #1 from pinskia at gcc dot gnu dot org 2008-05-12 21:16 ------- GCC does mangle it for win32 based targets, just not gnu/linux. Do you want the mangling for GNU/Linux also? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36225