{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
                    // Always push at least one arm to make the match non-empty
                    }
                    arms.push(Arm {