i32 <= count(list, ok)
