pub type ErrorCode = u64;