> Can't we at least detect the case where either the whole aggregate > is const or all its fields are const? Then we don't need any blockage. So we endorse the double /u liberality? -- Eric Botcazou