{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"bx.store(overflow_arg_area,"}]}
    bx.store(overflow_arg_area, overflow_arg_area_ptr, ptr_align_abi);
    let overflow_arg_area = bx.inbounds_ptradd(overflow_arg_area_v, offset);