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