replace symap by std::vector