// PR c++/42256
// { dg-do link }
// { dg-additional-sources "thunk11-aux.cc" }
// { dg-options "-O2" }
#include "thunk11.h"
int
main ()
{
}