pub type BaseSocketGetReceiveBufferResult = Result<u64, Errno>;