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