prove: util::range_alloc - #699

Marsman1996 wants to merge 3 commits into

prove: util::range_alloc#699
Marsman1996 wants to merge 3 commits into
asterinas:mainfrom
Marsman1996:prove-range_alloc

prove: 4 external_body with new btree spec