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

int main(void) {
	uint32_t s;
	uint8_t first_uint8 = 0x17;
	uint8_t second_uint8 = 0x01;
	uint32_t test = first_uint8 << 16 | second_uint8;	
	printf("%x\n", test);
	
	switch(test) {
   		case 0x00170001:
        	printf("OK %x\n", test);
        break;
   		default:
        	printf("FAIL %x\n", test);
        break;
	}	
	return 0;
}