040000 tree c83aea20fffaf4430aa47e67daee67c0bb48bf49	examples
040000 tree 05007a8b37c1181b5b158978e4b2912b440cf5b1	nimble
040000 tree 7f09c6b261886f7b89ce49b57c011a77f6f556c0	npl
040000 tree 9d57688d0c36617c38eec7150e9217306a065250	targets