Constant libc_interface::NOTE_FFAND

pub const NOTE_FFAND: uint32_t = 0x40000000;