#include <stdio.h>

int main(void) {
    char recv[4] = {0x00, 0x03, 0x9e, 0x40};
    unsigned int result;
    
    result = ((unsigned char)recv[0] << 24) | 
             ((unsigned char)recv[1] << 16) |
             ((unsigned char)recv[2] <<  8) |
             ((unsigned char)recv[3] <<  0);

    printf("0x%08X\n", result);
             
	return 0;
}