#include <stdint.h> uint64_t addWithCarry(uint64_t x, uint64_t y, uint64_t z) { return x + y + (y + z < y); }