Searched refs:machine_file (Results 1 – 1 of 1) sorted by relevance
268 machine_file = open_output_file("machine_table.bin") variable298 copy_output_file(machine_file, "machines")312 remove_output_file(machine_file)392 machine_file.write(value)