040000 tree fc51567f7f43f84ef4fa6fbac11025a2d0e5deeb	apiconversion
040000 tree ea364c49455619bda409bcfd242a968766bd2fd8	humanspecification
040000 tree 44da6615de2baa37658f963969bf76814b4e3e83	legacyspecification
040000 tree a6d4b44d8e219daab85e259ae2668bcaef853267	machinespecification
040000 tree 01560286156f6c7a6cb9f5bd4f29a5ac667321cb	retargeter
040000 tree 97a53b172991894070e19525f9c838ac0c3d50d7	specificationconversion