Known Bugs in the Scc SWARC compiler:

	1) In most cases saturation is to the internal field size rather than
	   to the declared field size.  For example:

		saturation int:3 a;	/* Internally treated as int:4 */
		saturation int:3 b;	/* Internally treated as int:4 */
		a = 3;			/* Stored as 3 */
		b = 7;			/* Stored as 7 */
		a+b;			/* Result is 10, stored as 10 */

	   In this example, the result of a+b should be (3+7)%(2^3) -> 2.
	   This will be corrected in a future release.

