// Compile: cc -std=c23 test_7_13_stdckdint.c
#if __has_include(<stdckdint.h>)
#include <stdckdint.h>
#endif
#include <stdint.h>
#include <assert.h>

int main(void) {
#if __has_include(<stdckdint.h>)
  int a = 10, b = 20, out;
  bool ov = ckd_add(&out, a, b);
  assert(!ov && out == 30);
  return 0;
#else
  return -1;
#endif
}