i32 <= len(list)
