{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"witness_2:"}]}
    witness_2: String, // a printed pattern
    witness_1: String, // a printed pattern
    witness_3: String, // a printed pattern