Add mangling code