040000 tree fa8659badad6665852b4dd030293ac6ccbc1ef53	examples
040000 tree 99cc448322de7cb0edc3b9f78221a3408db3da2b	nimble
040000 tree c5d411400f579f36e9aa46f6acd4be2b6890a849	npl
040000 tree 70ef346d4d4485f297c0987c60bf7183b5f3216c	targets
100755 blob 6309ed2b2e10fe3ce75914e2bb31c8a228c0bb1e	update_generated_files.sh