Retyping vmem