use it would eliminate the need for
      the <code class="code">link_name</code> extension by aliasing the
      templates. However, there is no true template aliasing mechanism
      in C++, because both <code class="code">using</code> directives and using
      declarations disallow specialization. This method fails
      the <span class="emphasis"><em>correctness</em></span> criteria.</p></li><li class="listitem"><p><span class="emphasis"><em> Use implementation-specific properties of anonymous
    name