expand_label_nr
void expand_label_nr(const char *, char *, size_t);
expand_label_nr("$nr", label, len);