44 #define vals3(a, b, c) ((a) + 1 + ((b) + 1) * 3 + ((c) + 1) * 9)  macro
45 #define vals4(a, b, c, d) (vals3(a, b, c) + ((d) + 1) * 27)
60     vals3(v0, v1, v2) : vals4(v0, v1, v2, v3);  in propagate()
70     case vals3(0,0,0): case vals3(0,0,1): case vals3(0,1,0):  in propagate()
71     case vals3(1,1,1): case vals3(-1,0,0): case vals3(-1,0,-1):  in propagate()
72     case vals3(-1,1,-1): case vals3(-1,-1,0): case vals3(-1,-1,1):  in propagate()
73     case vals3(-1,-1,-1):  in propagate()
76     case vals3(0,0,-1): case vals3(0,1,-1): case vals3(0,-1,0):  in propagate()
77     case vals3(0,-1,1): case vals3(0,-1,-1):  in propagate()
82     case vals3(0,1,1):  in propagate()
87     case vals3(1,1,0): case vals3(1,0,1): case vals3(1,0,0):  in propagate()
92     case vals3(-1,0,1):  in propagate()
96     case vals3(-1,1,0):  in propagate()
100     case vals3(1,0,-1): case vals3(1,1,-1): case vals3(1,-1,0):  in propagate()
101     case vals3(1,-1,1): case vals3(1,-1,-1):  in propagate()
106     case vals3(-1,1,1):  in propagate()
116     case vals3(0,0,0): case vals3(0,0,1): case vals3(0,0,-1):  in propagate()
117     case vals3(0,1,0): case vals3(0,-1,0): case vals3(1,0,0):  in propagate()
118     case vals3(1,1,1): case vals3(1,-1,-1): case vals3(-1,0,0):  in propagate()
119     case vals3(-1,1,-1): case vals3(-1,-1,1):  in propagate()
122     case vals3(0,1,1): case vals3(0,-1,-1):  in propagate()
123     case vals3(0,1,-1): case vals3(0,-1,1):  in propagate()
128     case vals3(1,0,1): case vals3(-1,0,-1):  in propagate()
129     case vals3(1,0,-1): case vals3(-1,0,1):  in propagate()
133     case vals3(1,1,0): case vals3(-1,-1,0):  in propagate()
134     case vals3(1,-1,0): case vals3(-1,1,0):  in propagate()
138     case vals3(1,1,-1): case vals3(1,-1,1):  in propagate()
139     case vals3(-1,1,1): case vals3(-1,-1,-1):  in propagate()