use stdint/stdbool