/* Copyright (c) 2000, Len Budney. See COPYING for details. */

/* Copy stdin to the given file descriptor, treating all failures as fatal. */
void writefile(int fd);