040000 tree 09afe327e7ccbda9a0b0ae8e0b0a058e1325b2d5	cons
040000 tree c944fdf5c29adda1f1b35746cc11922906b191a2	operators
100644 blob d3088a6ec38557464844f4b898e45a2dadf7f8ec	pr60037.cc
040000 tree ef942488634a1fc87e99331208a9c8cec91b9973	requirements