/// <div rustbindgen replaces="c"></div>
template <typename a> using b = a;