040000 tree efdd4d56bfc9108501ddbef06394be991c553468	optionalstubs
040000 tree b8f814bee528105b636028f923b0d3057620ea24	stream
040000 tree 243c74651de44289ec82d08d34de1d2566f75b2e	summarystatisticsstubs