let _not = Case [(0, Const 1); (1, Const 0)]