// { dg-additional-options -fmodules-ts }

import "extern-tpl-2_a.H";

template class TPL<1>;