include stdint used by the inline key-comparison helpers