Constant libc_interface::NOTE_LEEWAY

pub const NOTE_LEEWAY: uint32_t = 0x00000010;