alt/base_ni_alt5.nit:35,6: Error: Attempt to define attribute @x in the extern class EC.