```
let incr:: x::Integer{x>1} -> Tot(res::Integer{res<1}) =
\x -> ((x / x / 2) + (x / x / 2))
in
(if ((incr 5) < 1) then (print (incr 5)) else (flag 0))
```