// { dg-additional-options "-fmodules-ts" }

import Bar;
// { dg-error "CRC mismatch" "" { target *-*-* } 0 }
// { dg-regexp "Foo: error: failed to read compiled module: Bad file data\n" }
// { dg-regexp "Bar: error: failed to read compiled module: Bad import dependency\n" }
// { dg-prune-output "fatal error:" }
// { dg-prune-output "compilation terminated" }

int bill ();