Remove the peeking into the stdio internals inside of scan(). Hm, this
[mmh] / DATE
1 22 April 2012