// Compile: cc -std=c23 test_7_19_stdint.c
#include <stdint.h>
#include <assert.h>

int main(void){
  assert(INT32_MAX > 0);
  return 0;
}