Constant libc_interface::NOTE_ATTRIB

pub const NOTE_ATTRIB: uint32_t = 0x00000008;