// Return a heap copy of the given label.

char *copy_label(const char *label) {

    char *dst = malloc(strlen(label));

    if (dst == NULL) return NULL;

    strcpy(dst, label);

    return dst;

}