pub const BufferEmpty: KBUGCHECK_BUFFER_DUMP_STATE = 0i32;