{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"values.push(value);"}]}
            values.push(value);
            let value = ptr.dereference(None).to_rvalue();
        }