// { dg-additional-options "-fmodules-ts -isystem [srcdir]" }
// { dg-module-cmi kevin }

export module kevin;
import <alias-1_a.H>;