matchfail3.l1:3: # of bound variables differ on fallthrough