Searched refs:symbol_file (Results 1 – 1 of 1) sorted by relevance
558 symbol_file = open_output_file("symbol_table.bin") variable589 copy_output_file(symbol_file, "symbols")604 remove_output_file(symbol_file)711 symbol_file.write(value)