void unload_dwarf() { if (!dwarf_loaded || !has_debugging_info) return; dwarf_loaded = false; dwarf = null; }