#include <stdint.h>

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