The text fb9b790bd34a, as Debian 10 (Buster) shipped it.
Class template for stream buffer.
redi_basic_pstreambuf(3) on Linux now
