include stdint for use of uint16_t