FB->ReadWritePointer has to point to FB->Buf->Buf if the buffer is nonempty; logic...