int vmsize ();