displaying transient items
added todo exit proc
reindented
generating formal of procedure ok