int vmsize();