main module TEST32
%set debug_print_ccode = true
    use TEXTIO
    declare
	Start_Loop	: static 32 bit integer initially 0
	Max_Loop	: static 32 bit integer initially 123457
	Count 		: 32 bit integer initially 0
    enddeclare

    //----------------------------------------------- 

    out_line (TTY, "Test for K := Start to Max do")

    for K := Start_Loop to Max_Loop do
	Count *= +1
    endfor

    if Count <> (Max_Loop - Start_Loop + 1) do
	out_line 	(TTY,"Big loop error")
    otherwise
	out_line (TTY, "Big Loop OK")
    endif


    //----------------------------------------------

    out_line (TTY, "Test for K := Max downto Start do")

    Count := 0
    for K := Max_Loop downto Start_Loop do
	Count *= +1
    endfor

    if Count <> (Max_Loop - Start_Loop + 1) do
	out_line 	(TTY,"Big loop error")
    otherwise
	out_line (TTY, "Big Loop OK")
    endif
endmodule