/ interest / inputs / bounded.in
bounded.in
1  80u32
2  5u32
3  10u8