#include <stdio.h>
	#include <inttypes.h>
	int main(){
		int8_t input[] = {0x01,0x02,0x03,0x04,0x05,0x06,0x07,0x08};
		int32_t output[10];
		int count=0;
		for(;count<sizeof(input);count+=sizeof(int32_t)/sizeof(int8_t)){
			output[count] = (int32_t)(*(int32_t*)(&input[count]));
			printf("%x:%x\n",input[count],output[count]);
		}
		return 0;
	}