mangle symbols