#ifndef CHECK_HH
#define CHECK_HH

#include <cstdlib>
#include <stdckdint.h>
#include <type_traits>

namespace check {

template <typename T>
  requires std::is_arithmetic_v<T>
T add(T a, T b) {
  T ret;
  if (ckd_add(&ret, a, b))
    abort();
  return ret;
}

template <typename T>
  requires std::is_arithmetic_v<T>
T sub(T a, T b) {
  T ret;
  if (ckd_sub(&ret, a, b))
    abort();
  return ret;
}

template <typename T>
  requires std::is_arithmetic_v<T>
T mul(T a, T b) {
  T ret;
  if (ckd_mul(&ret, a, b))
    abort();
  return ret;
}

}  // namespace check

#endif  // CHECK_HH