error_spe_param.nit:24,16--24: Redef Error: expected `Int` for parameter `c'; got `Object`.