{ "type": "MARKED_ELEMENT", "newName": "aa", "mainFile": "main.kt" }