040000 tree eb97c62af57e0fc3045932c4acc55df5f72ea9ac	s4-base
040000 tree 88130f93509930768bdab164645492e4819dbfd2	s4-benchmarks
040000 tree 421305dde0dd5d0838e94a8b55a972d83c054cd1	s4-comm
040000 tree d903e874fa78463652471093222ec1c9a3a3301f	s4-core
040000 tree d9cf37e8c964a4b0ecef75950ac5c9e1ab07ec1c	s4-edsl
040000 tree 168fa2873fc906ab8ff31d0d1ca310be60a185dd	s4-example
040000 tree c00f6c989cc7242f609d583ce1471c1eaec0b5cd	s4-tools