no need for `stdint`