Abbreviated sequence of NFS v3 RPCs generated by
  
  cat file.txt

serve NFSPROC3_LOOKUP
diropargs3 ARGS = {
  nfs_fh3 dir = {
    opaque data<64> = [10] {
      0f, 01, 00, 00, 00, 00, 00, 00, 00, 00
    };
  };
  string name<> = "file.txt";
};
reply NFSPROC3_LOOKUP
ex_lookup3res REPLY = {
  nfsstat3 status = NFS3_OK;
  ex_lookup3resok resok = {
    nfs_fh3 object = {
      opaque data<64> = [10] {
        11, 01, 00, 00, 00, 00, 00, 00, 00, 00
      };
    };
    ex_post_op_attr obj_attributes = {
      bool present = true;
      ex_fattr3 attributes = {
        ftype3 type = NF3REG;
        u_int32_t mode = 0x1b4;
        u_int32_t nlink = 0x1;
        u_int32_t uid = 0x3533;
        u_int32_t gid = 0x0;
        u_int64_t size = 0x6;
        u_int64_t used = 0x800;
        specdata3 rdev = {
          u_int32_t major = 0x0;
          u_int32_t minor = 0x0;
        };
        u_int64_t fsid = 0x0;
        u_int64_t fileid = 0x111;
        nfstime3 atime = {
          u_int32_t seconds = 0x42023db5;
          u_int32_t nseconds = 0x0;
        };
        nfstime3 mtime = {
          u_int32_t seconds = 0x42023c16;
          u_int32_t nseconds = 0x0;
        };
        nfstime3 ctime = {
          u_int32_t seconds = 0x42023c16;
          u_int32_t nseconds = 0x0;
        };
        u_int32_t expire = 0x0;
      };
    };
    ex_post_op_attr dir_attributes = {
      bool present = false;
    };
  };
};

serve NFSPROC3_ACCESS
access3args ARGS = {
  nfs_fh3 object = {
    opaque data<64> = [10] {
      11, 01, 00, 00, 00, 00, 00, 00, 00, 00
    };
  };
  u_int32_t access = 0x3f;
};
reply NFSPROC3_ACCESS
ex_access3res REPLY = {
  nfsstat3 status = NFS3_OK;
  ex_access3resok resok = {
    ex_post_op_attr obj_attributes = {
      bool present = true;
      ex_fattr3 attributes = {
        ftype3 type = NF3REG;
        u_int32_t mode = 0x1b4;
        /* ... */
      };
    };
    u_int32_t access = 0x3f;
  };
};

serve NFSPROC3_READ
read3args ARGS = {
  nfs_fh3 file = {
    opaque data<64> = [10] {
      11, 01, 00, 00, 00, 00, 00, 00, 00, 00
    };
  };
  u_int64_t offset = 0x0;
  u_int32_t count = 0x6;
};
reply NFSPROC3_READ
ex_read3res REPLY = {
  nfsstat3 status = NFS3_OK;
  ex_read3resok resok = {
    ex_post_op_attr file_attributes = {
      bool present = false;
    };
    u_int32_t count = 0x6;
    bool eof = true;
    opaque data<> = [6] {
      68, 65, 6c, 6c, 6f, 0a
    };
  };
};