add mangle functions to core.demangle