#include <stdint.h>

int32_t external_sum(int32_t x, int32_t y) {
  return x + y;
}