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

import tdef;

A::I main ()
{
  return 0;
}