✏️ Editing: dump_invalid_vmcs