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

export module tdef;
// { dg-module-cmi tdef }

export typedef int I;
typedef int J;