* Autoflush stdout.

Created by  Eelco Dolstra  on April 22, 2009
RWIBJ5L4MDV4XQIQXBB45RBVAK2IAK3IMP37YUX2SHW7YDKDAAXAC
Change contents