var PIPE_BUF: Int32 { get }