#include <stdint.h>

int32_t c_add_one(int32_t x) {
  return 1 + x;
}