patching int