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