debug-file-with-no-debug-symbols
