040000 tree 36734f6e026deab298e0d93086a04e7cfe7056f7	Intrinsic
100755 blob 24824d08d6eafb2b5a8940e8e2738bbf1a72863e	Makefile
040000 tree a19356e72de0c28bc7421822532041fca48077b1	POSIX
040000 tree fafd43b1cade9b89103564920b29a2adc454920c	Runtest
040000 tree 213c5a563919597329785d541deb56fcdc606319	klee-libc