write
psf
<write-psf-statement>
end
<write-psf-statement> :==
output
=
<filename>
filename for output psf records