pub const DDHAL_EXEBUFCB32_DESTROYEXEBUF: i32 = 4i32;