These two fields can be marked `final`.