// { dg-additional-options -fmodules-ts } import foo; timex v = {1};