Mangled C++ function names would *not* have been a mistake if I hadn't made the other mistake of restricting parts of the code to C… Part of P0083, funded by Yanga.