prNameLen

(typename $prestat_dir
  (record
    ;;; The length of the directory name for use with `fd_prestat_dir_name`.
    (field $pr_name_len $size)
  )
)