// { dg-additional-options -MD }
// { dg-additional-options -fdeps-file=depflags-3.ddi }