Before the patching, `DOUBLE_REGISTERS` is not handled?