pub const DEFAULT_USER_CHARLIE: u64 = _; // 18_446_744_073_709_551_612u64
Default user id for Charlie.