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

module foo;

int *i = &std::bob;