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