src/gdb/ld/testsuite/ld-ifunc/pr16467a.c

const char * 
sd_get_seats(void)
{
  return "OK";
}