040000 tree a891532b4b87a4282623ec97b6dcf4cae3c6f96b	annotations
040000 tree 4ebc18520ac51c954754edf2facfa0bcd399603a	contracts
040000 tree 3fc01c0d607579f300cbb5814a70d39a1c85ad6b	coroutines
040000 tree 3f8fcee74a7dd49e7d83e71d1f432a51a714e56f	mutability
040000 tree b10a6458e09ef27e34cd9372cb9ff164cb010e85	platformNames