void libdie(const char *lib, int l, const char *str) {
fprintf(stderr,"%s library call failed, line %d: %s\n", lib, l, str);
}
void libdie(const char *lib, int l, const char *str) {
fprintf(stderr,"%s library call failed, line %d: %s\n", lib, l, str);
}