/** Find a pointer to a value stores in a map (or nullptr) */
template<typename C, typename K>
inline XBT_PRIVATE
typename C::mapped_type* find_map_ptr(C& c, K const& k)
{
/** Find a pointer to a value stores in a map (or nullptr) */
template<typename C, typename K>
inline XBT_PRIVATE
typename C::mapped_type* find_map_ptr(C& c, K const& k)
{