#include <stdio.h>
#include <gnu/lib-names.h>

main ()
  {
    printf ("%s\n", LIBC_SO);
  }