Witsenhausen counterexample