sed -r 's/add([0-9]+)/def \0(x):\n    return x+\1/'