We did! stdckdint.h

if (!ckd_int(&result, a, b)) exit(1);