040000 tree d3076274f2175db97b925bfdd2a630cce37c11ef	temp.arg
040000 tree e3c5285062a5d0482804fcde351b1b78c13b063b	temp.decls
040000 tree 23757be943330788e1e91b0182f8be7e2b48a880	temp.fct.spec
040000 tree cb99b0e0c0cf7e6db9d633fa60505c93e3361e0c	temp.names
040000 tree 83edd5eeb9a9c74af7b296ebc7b75a21b34bfb8e	temp.param
040000 tree f5cae8f8a1d5f1de5c2fd537766b431557fca221	temp.res
040000 tree 3e459f1b74ec942b2a3168dfd47a681475d6fbae	temp.spec