040000 tree a12b118365c04b4a22b51b416ac65baa07aeaed4	cons
040000 tree e2ba186cafec28c20906033604922261174210da	operators
100644 blob 1d38a2a6f5fb07445d877bd20d576cb57dd98129	pr60037.cc
040000 tree 9cd73fef9bcaf387ea3e908026acf36fa5d1b10a	requirements