Searched refs:machine_file (Results 1 – 1 of 1) sorted by relevance
778 machine_file = open_output_file("machine_table.bin") variable827 copy_output_file(machine_file, "machines")849 remove_output_file(machine_file)985 machine_file.write(value)