040000 tree 4c7e4dcd66bb48332d509cefcea3433251b57987	dv
040000 tree 6f2225ff80c1a24e6ab2d297001b7661fa191d46	gl
040000 tree 325d20522866d832cf25622588e78c6bb3196d5e	rtl
040000 tree 619e64174a52ac810d9c9571e5af1ba16149529b	stubs