added vmem.h