Searched refs:spxnames (Results 1 – 2 of 2) sorted by relevance
84 const char *spxnames[] = variable
131 printf("%s ", spxnames[act]); in spx_trace()