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

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

export class Base
{
public:
  int m;
};