pub const KERN_KDWRITETR: i32 = 17;