/* assume x is 16-bit value */