hot-patched