What typing ^D does on Unix (2009)