error_kern_attr_int.nit:18,6--9: Error: Attempt to define attribute toto in the interface Int.