040000 tree 4144f065745c431fb3dcb7d725291f94343387e2	commonflags
040000 tree 544035db7687cb126d9199287a1fa1d1f7b8b91a	puffs-c
040000 tree df126c19c4a740334dd66989836764aca0d18482	puffs
040000 tree 331151fd7ed1dce2d2e4a18525377699405e456e	puffsfmt