Sat, 22 Dec 2012 19:30:44 +0100 Manuele Conti Fix const_value field initialized.