#include <stdio.h>
#include <stdint.h>  // For using uint64_t

int main() {
    uint64_t a = 0x0123456789abcdef;  // Using uint64_t instead of long
    printf("Storing 0x0123456789abcdef into memory is: ");
    unsigned char *s = (unsigned char *)&a;
    for (int i = 0; i < sizeof(a); i++) {
        printf("%.2x ", s[i]);
    }
    printf("\n");

    return 0;
}