Why is it that when I attempt to print the value of `argv` (which according to Eclipse for a particular run of the program below was `0x7fffffffd958`) do I get `ffffd958` instead of `7fffffffd958`? 

```
int main (int argc, char *argv[]) {
    printf("%x \n", argv);
    return 0;
}

```