error_spe_attr.nit:22,15--20: Redef Error: expected `Int` return type; got `Object`.
error_spe_attr.nit:22,15--20: Redef Error: expected `Int` type for parameter `a'; got `Object`.