// { dg-additional-options "-fmodules-ts -Winvalid-imported-macros" }

import bob;
import "macro-4_a.H";