module	Top Level Definitions			Alternatives			Expressions
	%	covered / total		%	covered / total		%	covered / total
module Main	100%	5/5		88%	8/9		96%	94/97
Program Coverage Total	100%	5/5		88%	8/9		96%	94/97