let
namei
path
=
if
path
=
"/"
then
iget
root_inode
else
system_error
EACCESS
"namei"
path