040000 tree 907d27f1407e8362c19b5dff00a81d236756d54d	temp.decls
040000 tree 291dfb4b057608bb2b695aa8692353f6208543d5	temp.fct.spec
040000 tree 8270834e040b35c422159115d7cae7562a94a842	temp.param
040000 tree 5d259a2bbdce82a01b93e8873c33b3be7fc25956	temp.res
040000 tree 3aab734aea430e2c73a2ee88993015f6f8a09396	temp.spec