When I learned a CC3200 example about push buttons, I got some questions. Firstly, why does the digital_pin_to_pin_num arrary not define its elements as PIN_01, PIN_02, .... in an ascendant order? Why not define following PIN_04 as 0x0...04 ? The first question results in my next question. I know the following PUSH1 variable is used as the index of digital_pin_to_pin_num arrary. Why doesn't assign 4 to PUSH1 corresponding to the physical pin number of GPIO_13, so that I can be easy to know the PUSH1 is used to control which button rather than looking up the digital_pin_to_pin_num arrary using index, which is so time-consuming.