std :: stdckdint
#include <std/stdckdint.h> source ยท definition
#include <std/stdckdint.h>
int ckd_add_i32(&int result, int a, int b)