040000 tree 3bddd77b54e496c6e96c83eb0e9f83a60a1d5c00	apiconversion
040000 tree 57a498f8aa380e82c1245a3a5d170c8a59e83874	humanspecification
040000 tree 6acca5b8a4dd3b7e24b84e6927127062cd87e08e	legacyspecification
040000 tree 1e1c1fdc9d14b7d9f8d058ac682b5088afa2d6eb	machinespecification
040000 tree 91afd8d509f3f9324c86f535024a283042ca418a	retargeter
040000 tree f3ab46795159f993a6a801cc80fd68146dcfba14	specificationconversion