void sf_unpipe (sf_file file, off_t size) /*< Redirect a pipe input to a direct access file >*/ { ... }