{"ast_node_type":"variable","tokens":[{"end":86,"kind":"keyword","start":0,"text":"let"}]}
            let a_high = a.value_typed_lane(fx, fx.tcx.types.u128, 1).load_scalar(fx);
            let a_low = a.value_typed_lane(fx, fx.tcx.types.u128, 0).load_scalar(fx);