// { dg-additional-options "-fmodules-ts" }
export module foo;
// { dg-module-cmi foo }

#pragma bob
int i;