Sat, 22 Dec 2012 19:34:57 +0100 Manuele Conti Complete fix initialize const_value.