pub const ERROR_SERVER_UNKNOWN_BOOT_FILE_NAME: u32 = 20029u32;