pub const EXCEPT_X64_DOUBLE_FAULT: ExceptionType = 8;