1The BrianFix-files must end in .bfx in order for the compiler to distinguish them from the output file. At most one output-file can be specified (having any extension other than .bfx, most commonly .bf). By default, the output will be written to a.bf.