Minimal Python hotswapping