Why not add this case to the switch in `Debugger::_export()` instead? This feels out of place here.