{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"targets.push(otherwise);"}]}
        targets.push(otherwise);
            targets.map(|(v, t)| (Pu128(v), t)).unzip();
        Self { values, targets }