#include <stdio.h>
#include <stdint.h>
void foo(uint32_t a)
{
    uint8_t *p = (uint8_t*)&a;
    printf("%02X %02X %02X %02X", p[0], p[1], p[2], p[3]);
}

int main() 
{
	foo(0xfaceb00c);
	return 0;
}