Searched refs:machine_file (Results 1 – 1 of 1) sorted by relevance
536 machine_file = open_output_file("machine_table.bin") variable566 copy_output_file(machine_file, "machines")580 remove_output_file(machine_file)660 machine_file.write(value)