TkRecordOpen
TkPair "a"
TkNumber NumInteger 1
TkPair "a"
TkNumber NumInteger 1
TkRecordEnd