{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"bx.ptrtoint(value,"}]}
                bx.ptrtoint(value, elem_type)
                let value = bx.extract_element(arg, idx);
            })