| #include <stdio.h> | |
| #include <stdint.h> | |
| uint64_t pad0 = 0; | |
| uint8_t byteArray[4] = {0}; | |
| uint64_t pad1 = 0; | |
| int main(int argc, char** argv) { | |
| int i; | |
| for (i = 0; i < 4; i++) | |
| { | |
| printf("About to write byteArray[%d] ...\n", i); // About to write byteArray | |
| pad0++; | |
| byteArray[i] = 7; | |
| pad1++; | |
| } | |
| return 0; | |
| } |