Notation

Hexadecimal numbers are shown either as 0xNNNN or NNNNh.