//%set debug_print_ccode = true
//%set debug_tree = true

main module RANGECHCK
    ARM X_RANGE_ERROR
	declare
	    I : static 16 bit integer
	    J : static 16 bit integer
	    K : static 16 bit integer
	enddeclare

block	
	I := J
	ARM X_RANGE_ERROR
	I := J
endblock

block
	DISARM X_RANGE_ERROR
	K := J
endblock

block	
	ARM X_RANGE_ERROR
	I := J
endblock

endmodule