#include <stdio.h>
#include <stdint.h>
int main () {
int len =0;
uint32_t a=0x12345678;
uint8_t data[10]={0};
data[len++] = a>>24&0xFF;
data[len++] = a>>16&0xFF;
data[len++] = a>>8&0xFF;
data[len++] = a>>0&0xFF;
for(int i=0;i<len;i++)
{
printf("%02X ",data[i]);
}
return 0;
}