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

import "leg-merge-3_a.H";
import "leg-merge-3_b.H";

int main ()
{
  return !(bob == 17);
}