/* ------------------------------------------------------------------------- */
void *checked_malloc(unsigned long size)
/* ------------------------------------------------------------------------- */
void *checked_malloc(unsigned long size)
/* ------------------------------------------------------------------------- */
/* various helper functions */
/* ------------------------------------------------------------------------- */
/* various helper functions */
static char *basename_lower = NULL;
int basename_length, prefix_length;
static char *basename_lower = NULL;
int basename_length, prefix_length;
static char *basename_lower = NULL;
int basename_length, suffix_length;
static char *basename_lower = NULL;
int basename_length, suffix_length;