// { dg-additional-options "-fmodules-ts" }
export module kevin;

export int kevin ();