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