/* Very elaborated function.  */

extern int successful_rtld_next_test (void);

int

successful_rtld_next_test (void)

{

  return 42;

}