040000 tree 4b851af1172c7fe89442616b6b8d5fc8a764b5b9	cons
040000 tree d2eb9079b5d27b5c7cf477597abae39b11524056	operators
100644 blob 1d38a2a6f5fb07445d877bd20d576cb57dd98129	pr60037.cc
040000 tree a457f125a0dffbcb5e4751c5bc0909c88977543d	requirements