let
dir_pack name contents =
Arch_dir_pack
(name, (), contents)