040000 tree 638327027e82ce22fd108d993e100a5a9e10364b	annotations
040000 tree c650701d3b58300ad1e4979f92e7538b9a487b62	contracts
040000 tree 7054c54ce76ccdfd1c3e0cef361b4187b05cd0f7	coroutines
040000 tree 3f8fcee74a7dd49e7d83e71d1f432a51a714e56f	mutability
040000 tree e0b85fd61337b80219dea1ceb4074716af8d1773	platformNames