F box_area(x:Int, y:Int) { assert(x > 0) assert(y > 0) x * y } echo(box_area(5, 10)) # Output: 50 echo(box_area(-5, 10)) # ... Exception of type AssertFail ...