Printing of various data structures
Authors: Frank Pfenning
	 Carsten Schuermann

