// { dg-additional-options -fmodules-ts }
import foo;

timex v = {1};