[sanitizer] A low-level vector implementation to be used in leak checking code. Patch by Sergey Matveev