gcc/testsuite/g++.dg/modules/std-1_a.C

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

export module foo;

namespace std
{
int bob;
}