pub const PIPE_BUF: c_int = 4096;