Searched refs:machine_file (Results 1 – 1 of 1) sorted by relevance
781 machine_file = open_output_file("machine_table.bin") variable830 copy_output_file(machine_file, "machines")852 remove_output_file(machine_file)988 machine_file.write(value)
