/* Provide a dummy DSO for tst-rec-dlopen to use.  */

#include <stdio.h>

#include <stdlib.h>

int

dummy1 (void)

{

  printf ("Called dummy1()\n");

  return 1;

}