string(i32 >= i)
