Deconsting to keep gcc happy