declared/defined like this. I Hope that nothing is broken. (Maybe I
forget to put const in a child class...). The const is needed for compatibility with Summit.