040000 tree c81e262940d80ee3226fa2f38bf95da30e53d563	dv
040000 tree d30ada010ca538250fd58eaaec523769f0dc86a3	gl
040000 tree 66b27de420b5e0ff2af01c8f2e68100648c2f735	rtl
040000 tree 619e64174a52ac810d9c9571e5af1ba16149529b	stubs