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

export module bob;
// { dg-module-cmi bob }

export int frob (int *);