Michael> Looks sane. But what was the idea behind all the Michael> complexity in dev_flush? Was there some reason for it? I'm not sure. It must be historical. - R.