/src/tools/vmap3_extractor/