#include <inttypes.h>

int32_t bind_clib_sum(int32_t* nums, int32_t length);