template<class DomainT , class CodomainT > 
struct mapping_pair {
  // construct/copy/destruct
  mapping_pair(const DomainT &, const CodomainT &);
  mapping_pair(const std::pair< DomainT, CodomainT > &);
  DomainT key;
  CodomainT data;
};