Type Definition CCODE::UINT64

type UINT64 = c_ulonglong;