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