/* Very elaborated function.  */

extern int successful_rtld_next_test (void);


int
successful_rtld_next_test (void)
{
  return 42;
}