#include <assert.h>
#include <stdckdint.h>
#include <stdint.h>

int main(int argc, char *argv[]) {
  int8_t add, sub, mul;
  assert(ckd_add(&add, 50, 85));
  assert(ckd_sub(&sub, 10, 150));
  assert(ckd_mul(&mul, 68, 2));
  return 0;
}