#include <stdint.h>

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