52     const char *spec1 = table1[cls_a][cls_b];  in interpret_tables()  local
59     if (strcmp(spec1, "P(-inf)") == 0) {  in interpret_tables()
61     } else if (strcmp(spec1, "P(+inf)") == 0) {  in interpret_tables()
63     } else if (strcmp(spec1, "P(-0)") == 0) {  in interpret_tables()
65     } else if (strcmp(spec1, "P(+0)") == 0) {  in interpret_tables()
67     } else if (strcmp(spec1, "P(a)") == 0) {  in interpret_tables()
70     } else if (strcmp(spec1, "P(b)") == 0) {  in interpret_tables()
73     } else if (strcmp(spec1, "P(a*b)") == 0) {  in interpret_tables()
93     } else if (strcmp(spec1, "Xi: T(dNaN)") == 0) {  in interpret_tables()
97     } else if (strcmp(spec1, "Xi: T(a*)") == 0) {  in interpret_tables()
102     } else if (strcmp(spec1, "Xi: T(b*)") == 0) {  in interpret_tables()
108         fprintf(stderr, "Unsupported spec1: %s\n", spec1);  in interpret_tables()