040000 tree ddd99dcbc7e9f8259bc9312dea16bcf1e24419c9	cf_segments
040000 tree 43856503de509575df99f296989f3614e777c450	library_desugar
040000 tree 1128c14e27caa74edd080eda995036aacef9559f	main
040000 tree 7a859c412cb2e76d800e64ca3838e3d685aa5c44	test