#include <stdint.h>

int32_t add_all_int32(
        int32_t a, int32_t b, int32_t c, int32_t d, int32_t e,
        int32_t f, int32_t g, int32_t h, int32_t i, int32_t j) {
    return a + b + c + d + e + f + g + h + i + j;
}
