s/int([^)]+)/str(\0)/