#include "stdint.h" uint16_t a=65535; uint16_t b=0; uint16_t c=1; uint16_t d = (a+b+c)/3; printf("%04x", d);