slides: add name mangling