See the section on NAME MANGLING Default: mangle case = no