add mangled symbols