[PPL-devel] ppl/src Widening_Function.inlines.hh