{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"bx.context.new_bitcast(None,"}]}
            bx.context.new_bitcast(None, byte_vector, long_byte_vector_type)
        } else {
        };