don't use --no-mangle, it prevents dead code elimination