// { dg-additional-options {-fmodules-ts -fmodule-mapper=|@g++-mapper-server} }

// Have to textually include, because we currently get confused about
// the explicit instantiations and think they conflict
#include "extern-tpl-1_a.H"

template class TPL<1>;