use types from stdint.h