040000 tree 726877671ae09f68a21fd9c2e76085ed7e0c9e66	namespace.def
040000 tree 4003e1101fb85a38ba267bab058eb74a44876732	namespace.udecl
040000 tree 4dd686113a07b22e50949a98fa307dbf3683fb82	namespace.udir