0f95d7be97
spuriously, but it's a useful warning and I don't want to turn it off), and we don't need to declare every member const to have a const object--you just have a const pointer to the object.