printf("... c16=0x%04hx ...", 
        ..., $c16, ...;