040000 tree fc51567f7f43f84ef4fa6fbac11025a2d0e5deeb	apiconversion
040000 tree ea364c49455619bda409bcfd242a968766bd2fd8	humanspecification
040000 tree 44da6615de2baa37658f963969bf76814b4e3e83	legacyspecification
040000 tree 775f8582fa88f6753971335584343d6eb6d542fa	machinespecification
040000 tree 18022d3fed53b73706153a6aedc79a7c043be863	retargeter
040000 tree 97a53b172991894070e19525f9c838ac0c3d50d7	specificationconversion