/* Very elaborated function.  */
int
successful_rtld_next_test (void)
{
  return 42;
}