++wild match 2
++wild match X1
++wild match X2 (unfinished)
++wild match X3 x
++wild match X4 (ok)