#include <stdio.h>
#include <stdlib.h>

#include "liberror/public.h"

int main() {
    unsigned int x = 0;
    unsigned int y = 9;

    LIBERROR_UNSIGNED_ADD_CHECK(x, y, "PRECONDITION", "Overflow!", "main");

    return 0;
}