040000 tree 80c4ee7d3e226e487c3985ae320e9b761740dca7	dv
040000 tree cd9510ddc35c895c6f3bb50931abf0969f76f6b4	gl
040000 tree cb82c4313766af34b481511fe5b0991a5c344623	rtl
040000 tree 619e64174a52ac810d9c9571e5af1ba16149529b	stubs