#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;
}