main module TEST2CARD
//%set debug_tree = true
//%set debug_print_ccode = true
	use TEXTIO
	declare
		Start_Index = 0
		Stop_Index = 128
		L	: packed array [start_Index..Stop_Index] of 2 bit cardinal
	enddeclare

	for J := Start_Index to Stop_Index do
	    declare
		Low_Card : 2 bit cardinal initially 0
		High_Card : 2 bit cardinal initially 2
	    enddeclare
	    for K := Low_card to High_Card do
		L [J] := K
		if L [J] <> K do
		    out_string (TTY, "Bad compare , J = ")
		    out_integer (TTY, J)
		    out_string (TTY, " K = ")
		    out_integer (TTY, force integer (K))
		    out_record  (TTY)
		endif
		if (L [J] + 1) <> (K + 1) do
		    out_string (TTY, "Bad math , J = ")
		    out_integer (TTY, J)
		    out_string (TTY, " K = ")
		    out_integer (TTY, force integer (K))
		    out_record  (TTY)
		endif
	    endfor
	endfor
endmodule