
namespace std
{
typedef long unsigned int size_t;
}

namespace __gnu_cxx
{
template<typename _CharT>
struct char_traits
{
  typedef _CharT char_type;

  static constexpr std::size_t
    length(const char_type* __s);
};

template<typename _CharT>
constexpr std::size_t
  char_traits<_CharT>::
  length(const char_type* __p)
{
  std::size_t __i = 0;
  return __i;
}
}

namespace std
{
template<class _CharT>
struct char_traits;

template<>
struct char_traits<char>
{
  typedef char char_type;

  static constexpr size_t
    length(const char_type* __s)
  {
    return __gnu_cxx::char_traits<char_type>::length(__s);
  }
};
}