error_star_type.nit:18,8--10: Type Error: expected `Int`, got `Char`.