%set debug_print_CCode = true
main module TESTOV
    use TEXTIO
	declare
		I : static 32 bit integer
	enddeclare
	ARM X_Overflow
	guard
	    I := 12
	    I := I + 100
	    out_Line (TTY, "No Overflow")
	catch
	    case X_overflow:
		out_line (TTY, "Caught the overflow")
	endguard
endmodule