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

module foo;

elsewhere::det::bob j;
elsewhere::ail::bob k;