pub const REG_TRACE: i32 = 0o00400; // 256i32