[]Type Definition skellige::prelude::libc::uintmax_t

type uintmax_t = u64;