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

import bob;
import kevin;