#include <stdio.h>
#include <limits.h>

#include <libcalc.h>

#define EVAL(expr) \
    printf("%s = %d\n", #expr, expr);

int main() {
    EVAL(wrap_add(1,2));
    EVAL(wrap_add(INT_MAX,0));
    EVAL(wrap_add(INT_MAX,1));

    EVAL(sat_add(1,2));
    EVAL(sat_add(INT_MAX,0));
    EVAL(sat_add(INT_MAX,1));

    return 0;
}