write psf <write-psf-statement> end


<write-psf-statement> :==