add missing annotation to isl_vec_alloc