See the discussion in the section NAME MANGLING. Default: case sensitive = no