Searched refs:symbol_file (Results 1 – 1 of 1) sorted by relevance
786 symbol_file = open_output_file("symbol_table.bin") variable835 copy_output_file(symbol_file, "symbols")857 remove_output_file(symbol_file)1022 symbol_file.write(value)