040000 tree ddd99dcbc7e9f8259bc9312dea16bcf1e24419c9	cf_segments
040000 tree faea49d750b4167170020aa178ccae2b13fb8554	keepanno
040000 tree dff800c46477d370e1efa98c8b6298cf4414028d	library_desugar
040000 tree 6354859934439650dcc35d2cd7286a350dcb46d5	main
040000 tree ce2151bc2e57d6acd99b4af6cd91088458af6b54	test