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

export module Foo;

export int bob (int);