prompt printed, ctrl-d handled