Constant libc_interface::NOTE_EXEC

pub const NOTE_EXEC: uint32_t = 0x20000000;