040000 tree b39c46213bc680e6022dbf7d5c1c0c2ee5836d7a	annotations
040000 tree 0a4f28beb0f9830a56d3116a17e6fe5cd86840f5	contracts
040000 tree 3fc01c0d607579f300cbb5814a70d39a1c85ad6b	coroutines
040000 tree 3f8fcee74a7dd49e7d83e71d1f432a51a714e56f	mutability
040000 tree b10a6458e09ef27e34cd9372cb9ff164cb010e85	platformNames