write
topology
<write-topology-statement>
end
<write-topology-statement> :==
output
=
<filename>