let
stat
name
=
let
inode
=
namei
name
in
let
stats
=
inode
.
stats
in
iput
inode
;
{
st_dev
=
stats
.
st_dev
;
st_ino
=
stats
.
st_ino
;
st_kind
=
stats
.
st_kind
;
st_nlink
=
stats
.
st_nlink
;
st_size
=
stats
.
st_size
;
}