#include <stdint.h>
#include <stdio.h>

int main(int argc, char *argv[])
{
        uint8_t b[7];
        uint32_t *p = (uint32_t*)&b[3];

        b[0] = 0x01;
        b[1] = 0x02;
        b[2] = 0x03;
        p = 0xcafebabe;

        printf("%02x %02x %02x\n", b[0], b[1], b[2]);
}