On 01/19/2015 09:34 AM, Richard Biener wrote: > ! /* Whether the user can use <xxx> instead of explicitely using calls "explicitly" OK with that change. Jason