anchor.diff:  <%}%>
   <%}%>
   
  -
   <%0.upto(GENERATION_LIMIT) {|i|%>
   <%0.upto(i) {|j|%>
   template <typename A0<%1.upto(i) {|k|%>, typename A<%=k%><%}%>>
  
positive.code: 	<%0.upto(i) {|j|%>
  	A<%=j%> a<%=j%>;<%}%>
  };
  <%}%>
  
  }  // namespace type
  
negative.code: 	typedef const T& transparent_reference;
  };
  
  <%0.upto(GENERATION_LIMIT) {|i|%>
  <%0.upto(i) {|j|%>
  template <typename A0<%1.upto(i) {|k|%>, typename A<%=k%><%}%>>
  