gcc/testsuite/g++.dg/modules/var-1_b.C

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

import Var;

int main ()
{
  if (counter != 2)
    return 1;
  if (limit != 5)
    return 2;
  static_assert (limit == 5, "huh?");
  return 0;
}