test_c_interop_04b.c

#include "test_c_interop_04b.h"

int32_t sum_pi32_i32(int32_t *x) {
    return x[0] + x[1] + x[2] + x[3];
}