added two new global pointers in demo.h: vmem_back and vmem_front, and