040000 tree 5449d7b6632690766d4104559523f26208232d22	annotations
040000 tree 40856582c6d1e310b28c135c72e3c43810bdb6ae	contracts
040000 tree 3fc01c0d607579f300cbb5814a70d39a1c85ad6b	coroutines
040000 tree 9fbcdae91523ba65271d06c394389120583357da	mutability
040000 tree b10a6458e09ef27e34cd9372cb9ff164cb010e85	platformNames