pub const ERROR_NO_USER_SESSION_KEY: u32 = 1394; // 1_394u32