DESTINATION_FILE
server_cat(DESTINATION_FILE, server_sock, pattern_size);
verify_source_and_dest(DESTINATION_FILE, fd, offset, nbytes);
server_cat(DESTINATION_FILE, server_sock, pattern_size);
verify_source_and_dest(DESTINATION_FILE, fd, offset, nbytes);
server_cat(DESTINATION_FILE, server_sock, pattern_size);
verify_source_and_dest(DESTINATION_FILE, fd, offset, nbytes);
server_cat(DESTINATION_FILE, server_sock,
verify_source_and_dest(DESTINATION_FILE, fd2, offset, nbytes);