// { dg-additional-options "-fmodules-ts -fdump-lang-module -isystem [srcdir]" }

import kevin;
import bob;