pub const AT_NOTELF: u32 = 10; // 10u32