let d_bitwise a =
  match d_interp a with
    | Some(Bitwise(n),[x;y;z]) ->
        Some(n,x,y,z)
    | _ -> 
        None