#include <stdio.h>
#include <adder.h>

int main() {
    printf("%d\n", add(5, 7));
}