nfs42_files_from_same_server
if (!nfs42_files_from_same_server(src, dst))
nfs42_files_from_same_server(src, dst)) {
!nfs42_files_from_same_server(src, dst)) {
if (!nfs42_files_from_same_server(file_in, file_out)) {