1  typedef long unsigned int size_t;
       2  
       3  template<typename _Tp, typename _Up>
       4  struct Replace;
       5  
       6  template<template<typename> class _Template>
       7  struct Replace<_Template<char>, char>
       8  {
       9    using type = _Template<char>;
      10  };
      11  
      12  template<typename _Tp>
      13  struct TPL;
      14  
      15  template<typename _Alloc>
      16  struct Traits
      17  {
      18    template<typename _Tp>
      19    using Rebind = typename Replace<_Alloc, _Tp>::type;
      20  };
      21  
      22  using tdef = Traits<TPL<char>>::template Rebind<char>;