class C inherit B rename p0 as x alias "+" end end