1 // { dg-module-do run }
2 // { dg-additional-options "-fmodules-ts -fno-inline" }
3 export module Foo;
4 // { dg-module-cmi Foo }
5 
Frob(int i)6 int Frob (int i)
7 {
8   return i;
9 }
10 
11 export int j = Frob (5);
12