Searched refs:machine_file (Results 1 – 1 of 1) sorted by relevance
553 machine_file = open_output_file("machine_table.bin") variable584 copy_output_file(machine_file, "machines")599 remove_output_file(machine_file)682 machine_file.write(value)
