Hmm... implementing fflush would be really really useful.