{"Put":{"state":"helˇlo world.\n\nhello world.\n"}}{"Key":"y"}{"Key":"}"}{"Key":"d"}{"Key":"}"}{"Get":{"state":"heˇl\n\nhello world.\n","mode":"Normal"}}{"ReadRegister":{"name":"\"","value":"lo world."}}{"Get":{"state":"heˇl\n\nhello world.\n","mode":"Normal"}}{"Put":{"state":"ˇhello world.\n\nhello world.\n"}}{"Key":"y"}{"Key":"}"}{"Key":"d"}{"Key":"}"}{"Get":{"state":"ˇ\nhello world.\n","mode":"Normal"}}