{ dg-modules "module13 module14 module15" }

access Module15 (assert (foo = 0))