typedef long unsigned int size_t;

template<typename _Tp, typename _Up>
struct Replace;

template<template<typename> class _Template>
struct Replace<_Template<char>, char>
{
  using type = _Template<char>;
};

template<typename _Tp>
struct TPL;

template<typename _Alloc>
struct Traits
{
  template<typename _Tp>
  using Rebind = typename Replace<_Alloc, _Tp>::type;
};

using tdef = Traits<TPL<char>>::template Rebind<char>;