Debugger preserves label names.