// { dg-additional-options "-fmodules-ts -isystem [srcdir] -fno-canonical-system-headers" }

import bob;
import kevin;