040000 tree 567bca617f5f258c2d7436786e0e947d2598ef62	python
040000 tree 9d2754316bda731cf5352124234a6bb2376863b2	syscalls
040000 tree fd8c402a3dfc9d9973dcc87e6ff836889a6a738d	system-gdbinit