1{"Put":{"state":"ˇhello world.\n\nhello world.\n"}}
 2{"Key":"y"}
 3{"Key":"}"}
 4{"Get":{"state":"ˇhello world.\n\nhello world.\n","mode":"Normal"}}
 5{"ReadRegister":{"name":"\"","value":"hello world.\n"}}
 6{"Key":"d"}
 7{"Key":"}"}
 8{"Get":{"state":"ˇ\nhello world.\n","mode":"Normal"}}
 9{"ReadRegister":{"name":"\"","value":"hello world.\n"}}
10{"Put":{"state":"helˇlo world.\n\nhello world.\n"}}
11{"Key":"y"}
12{"Key":"}"}
13{"Get":{"state":"helˇlo world.\n\nhello world.\n","mode":"Normal"}}
14{"ReadRegister":{"name":"\"","value":"lo world."}}
15{"Key":"d"}
16{"Key":"}"}
17{"Get":{"state":"heˇl\n\nhello world.\n","mode":"Normal"}}
18{"ReadRegister":{"name":"\"","value":"lo world."}}