// { dg-do compile }
// { dg-additional-options "-defaultlib=a -defaultlib=b" }