Making fields on FrameCounter private and adding getters.