vallocator.h #1