vmmng: simplification.