Runtime error: Cast failed (alt/rterror_attr_def_alt4.nit:28)