recordformat stackfm(integer depth)

externalroutine dumprv(record(stackfm)name v)
end

endoffile