fix bugs in stl_alloc and finish vector