prime/include/Kyoto/CARAMManager.hpp