// Original CPU teaching model; not a device simulator or benchmark.
#include <iostream>
#include <map>
#include <string>
#include <stdexcept>

void require(bool ok) { if (!ok) throw std::runtime_error("model check failed"); }

int main() {
 const std::map<std::string,std::string> next{
  {"allocation","API/environment"},{"code_object","build/target"},{"wrong_value","indexing/oracle"}};
 require(next.at("wrong_value")=="indexing/oracle");
 for(const auto& [kind,path]:next) std::cout<<kind<<": "<<path<<'\n';
}

