// { dg-do compile }
// { dg-options "-O2" }

#include "thunk11.h"