snstods
if (snstods (nset, numstates, accset, nacc, hashval, &ds)) {
if (!snstods (nset, 0, accset, 0, 0, &end_of_buffer_state))
if (snstods
extern int snstods PROTO ((int[], int, int[], int, int, int *));