The file "buf" contains a specification in PSF of various buffers, written by
Sjouke for his OOTI course.	 [ Not yet fully worked out 	sjouke ]

Commands one could try include:

	psf -vm Buffer buf
	psf -vsm BoundBuffer buf
	initial -c BoundBuffer.til
	sim BoundBuffer.til
	psf -vm Buffers buf
	psf -vsm BoundBuffers buf
	initial -c BoundBuffers.til
	sim BoundBuffers.til
	psf -vsm TwoBuffers buf
	sim TwoBuffers.til
	trans TwoBuffers.til
	equiv -d -t System,TBB TwoBuffers.lts
