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