C_STREAM_NOT_CONSUMED  212 courgette/ensemble_apply.cc       return C_STREAM_NOT_CONSUMED;
C_STREAM_NOT_CONSUMED  218 courgette/ensemble_apply.cc     return C_STREAM_NOT_CONSUMED;
C_STREAM_NOT_CONSUMED  254 courgette/ensemble_apply.cc       return C_STREAM_NOT_CONSUMED;
C_STREAM_NOT_CONSUMED  258 courgette/ensemble_apply.cc     return C_STREAM_NOT_CONSUMED;
C_STREAM_NOT_CONSUMED  351 courgette/ensemble_create.cc       return C_STREAM_NOT_CONSUMED;
C_STREAM_NOT_CONSUMED  361 courgette/ensemble_create.cc     return C_STREAM_NOT_CONSUMED;
C_STREAM_NOT_CONSUMED  415 courgette/ensemble_create.cc       return C_STREAM_NOT_CONSUMED;
C_STREAM_NOT_CONSUMED  419 courgette/ensemble_create.cc     return C_STREAM_NOT_CONSUMED;