TkRecordOpen
TkPair "a"
TkLit LitTrue
TkRecordEnd