pub const SEM_UNDO: i32 = 0o10000; // 4_096i32