pub const F_GETPIPE_SZ: u32 = 1032;