create_debugging_symbols
