040000 tree c609210a206a8ff1bb6733b157eac851b87e8eee	temp.arg
040000 tree 2ada0c2943659a7564c5150a820d2184687245bb	temp.decls
040000 tree 0f7df43c27db9605213a317f006fb8c7482e4139	temp.fct.spec
040000 tree 208c81205526d1c13d952275c5ef5e9d8998826d	temp.names
040000 tree d0074e46be5ead7935ffee47e1ef2e6acfe9cb00	temp.param
040000 tree f56fa637c1d3fbb205cb835ef8e54bd4e66e836c	temp.res
040000 tree de2975203fedc009adb0bd6399ee7348a7abb2c4	temp.spec