Extract 5.4.8 vmaps