#include <stdint.h>

int32_t c_add(int32_t lhs, int32_t rhs) {
    return lhs + rhs;
}