->%-0d\t",ps[ps_index]>>BNFA_SPARSE_VALUE_SHIFT,ps[ps_index] &                             BNFA_SPARSE_MAX_STATE);                     else                         printf("%0d->%-0d\t",ps[ps_index]>>BNFA_SPARSE_VALUE_SHIFT,ps[ps_index] &                             BNFA_SPARSE_MAX_STATE);                 