// { dg-additional-options -fmodules-ts }
import "leg-merge-3_a.H";
import "leg-merge-3_b.H";
int main ()
{
  return !(bob == 17);
}
// { dg-additional-options -fmodules-ts }
import "leg-merge-3_a.H";
import "leg-merge-3_b.H";
int main ()
{
  return !(bob == 17);
}