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