let
umount
name
=
write_super_block
();
write_inode
!
root_inode
;
D
.
dump
(
name
);;