Update vmem.c