#include <stdint.h>

int64_t add(int64_t x, int64_t y);