040000 tree 5d49a3f6690d0f11baafcc5ee482f28607c4ec80	annotations
040000 tree c650701d3b58300ad1e4979f92e7538b9a487b62	contracts
040000 tree 3fc01c0d607579f300cbb5814a70d39a1c85ad6b	coroutines
040000 tree 3f8fcee74a7dd49e7d83e71d1f432a51a714e56f	mutability
040000 tree b10a6458e09ef27e34cd9372cb9ff164cb010e85	platformNames