main module TEST4LOG
//%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 4 bit logical
	enddeclare

	for J := Start_Index to Stop_Index do
	    declare
		Low_Log : 4 bit logical initially 8#0
		High_Log : 4 bit logical initially 8#17
	    enddeclare
	    for K := Low_Log to High_Log 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 (force integer (L[J]) + 1) <> (force integer(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