1  
       2  namespace std
       3  {
       4  typedef long unsigned int size_t;
       5  }
       6  
       7  namespace __gnu_cxx
       8  {
       9  template<typename _CharT>
      10  struct char_traits
      11  {
      12    typedef _CharT char_type;
      13  
      14    static constexpr std::size_t
      15      length(const char_type* __s);
      16  };
      17  
      18  template<typename _CharT>
      19  constexpr std::size_t
      20    char_traits<_CharT>::
      21    length(const char_type* __p)
      22  {
      23    std::size_t __i = 0;
      24    return __i;
      25  }
      26  }
      27  
      28  namespace std
      29  {
      30  template<class _CharT>
      31  struct char_traits;
      32  
      33  template<>
      34  struct char_traits<char>
      35  {
      36    typedef char char_type;
      37  
      38    static constexpr size_t
      39      length(const char_type* __s)
      40    {
      41      return __gnu_cxx::char_traits<char_type>::length(__s);
      42    }
      43  };
      44  }