040000 tree 76e1b509885adbfcca34d175e77b7ac358486006	python
040000 tree 670788c7c4fd81990fe6bc8b469fdc96204f9cfd	syscalls
040000 tree b33203e325a67322514c6fcdff1ccca5b03011af	system-gdbinit