#include <stdio.h>

int main(void) {
	unsigned short set_value, dev=3, page=0, reg=2;
	set_value = 0x1000 | 0x0400 | dev << 5 | 0x16 ;
	printf("0x%04x\n", set_value);
	set_value |= 0x8000;
	printf("0x%04x\n", set_value);

	set_value = 0x1000 | 0x0400 | dev << 5 | reg ;
	printf("0x%04x\n", set_value);
	set_value |= 0x8000;
	printf("0x%04x\n", set_value);

	return 0;
}