Constant libc_interface::NOTE_EXIT

pub const NOTE_EXIT: uint32_t = 0x80000000;