Encoding stdin works now; decoding stdin TODO