WSLOOP
WSLOOP(u, v) {
WSLOOP(wsets, v) { /* is the item there */
WSLOOP(wsets, u) {
WSLOOP(wsets, p) { /* generate goto's */
WSLOOP(p, q) {
WSLOOP(wsets + (pstate[i + 1] - pstate[i]), u) {
WSLOOP(wsets, u) {
WSLOOP(u, v) {
WSLOOP(wsets, u) {