TkRecordOpen
TkPair "x"
TkLit LitTrue
TkRecordErr "Unexpected end-of-input, expecting key literal"