ok && i32 >= 1
