The parameters for the write command is the name of the circuit to write as defined by the list command. Only circuits shown by the list command can be written out. If no circuit name is given, the default circuit will be written out.
The name of the file to write to can also be specified by entering the name of the file following the name of the circuit to write. Thus, to write to a file name other than the default, the name of the circuit must be given.
The extension of the file created will be .mag for the Magic file format, unless an extension is given by specifying the file to write to.