let
root_inode_offset
= 1;;
let
root_inode
=
ref
(
read_inode
root_inode_offset
);;