1002
BufReader { reader: Stdin { .. }, buffer: 4001/8192 }