040000 tree fc51567f7f43f84ef4fa6fbac11025a2d0e5deeb	apiconversion
040000 tree ea364c49455619bda409bcfd242a968766bd2fd8	humanspecification
040000 tree 44da6615de2baa37658f963969bf76814b4e3e83	legacyspecification
040000 tree 30928ed8ddeb52495201b401a722d807546e44f7	machinespecification
040000 tree 440921a7e38cc00072b8d4b7f52addfbb1ed1613	retargeter
040000 tree 97a53b172991894070e19525f9c838ac0c3d50d7	specificationconversion