#include <inttypes.h>
int32_t bind_clib_sum(int32_t* nums, int32_t length);