040000 tree f0cc85194ed3888cee0452495010afccd7434dec	python
040000 tree ab9c19a1e168c048f01a21d88a96956f83b0f4f5	syscalls
040000 tree 0a27c49b28941331c4f5e78a929f0bdcb648f4db	system-gdbinit