{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"byte_vector_elements.push(val);"}]}
                byte_vector_elements.push(val);
                let val = bx.extract_element(byte_vector, idx);
            }