Const_2 a rewrite of Const