Constant libc_interface::RTCF_DOREDIRECT

pub const RTCF_DOREDIRECT: u32 = 0x01000000;