040000 tree ddd99dcbc7e9f8259bc9312dea16bcf1e24419c9	cf_segments
040000 tree 43856503de509575df99f296989f3614e777c450	library_desugar
040000 tree 3e0571f066d4341e444e766cb8ee1b40a379343f	main
040000 tree db2c210253869ff9dff674ade0e4133d93ee6fc3	test