040000 tree f87f2305571dd64dd05228a606ea53424ef17dab	apiconversion
040000 tree ea364c49455619bda409bcfd242a968766bd2fd8	humanspecification
040000 tree 44da6615de2baa37658f963969bf76814b4e3e83	legacyspecification
040000 tree 8e0be0851be8bd2b8b0bd2c61638c26ebac14590	machinespecification
040000 tree 0ea5bda03f8f486348d9b8e643a5ed7a067395f0	retargeter
040000 tree 03029d432b0fd113f8817c9d4980d76bc7b7063b	specificationconversion