Corrected the space complexity of ok_vec_alloc