// check the data type.
typedef std::pair<std::string, DataType> IOSpec;

const char* kFeedStackToString = "File \"feed.cc\", line 10, in alpha";
const char* kNegStackToString = "File \"neg.cc\", line 15, in beta";

std::vector<IOSpec> M(const std::initializer_list<std::string>& names) {
  std::vector<IOSpec> v;
  for (const std::string& name : names) {
    v.push_back(IOSpec(name, DT_INVALID));
  }
  return v;
}