error: integer range error in model range_return
model: range_return
hello
<range-error>
