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

export module foo;

namespace std
{
int bob;
}