./error_kern_attr_int.nit:18,2--18: Error: Attempt to define attribute _toto in the universal class Int.