// { dg-additional-options -fmodules-ts }
export module foo;
// { dg-module-cmi foo }

typedef float _IO_lock_t;

_IO_lock_t _lock;