Symbol: reset_numeric_labels
usr.sbin/gspa/gspa/gsp_ass.h
153
void reset_numeric_labels(void);
usr.sbin/gspa/gspa/gspa.c
174
reset_numeric_labels();