About the use of uint8_t in C when counting I wanted to make sure that I understood what is happening in the following code: