main module TEST32p
%set Debug_Print_CCODE = true
	use TEXTIO

	declare
		A : static 32 bit integer 
		B : static 32 bit integer 
	enddeclare

	B := 1
	A := 0
	
	if A < B do
		A := 3
		out_line (TTY, "OK")

	otherwise 
		A := 4
		out_line (TTY, "error")
	endif

endmodule