pub type uint_fast64_t = u64;