const char *print_wrid(int wrid)

{

    if (wrid >= RDMA_WRID_RECV_CONTROL) {

        return wrid_desc[RDMA_WRID_RECV_CONTROL];

    }

    return wrid_desc[wrid];

}

const char *print_wrid(int wrid)

{

    if (wrid >= RDMA_WRID_RECV_CONTROL) {

        return wrid_desc[RDMA_WRID_RECV_CONTROL];

    }

    return wrid_desc[wrid];

}

const char *FUNC_0(int VAR_0)

{

    if (VAR_0 >= RDMA_WRID_RECV_CONTROL) {

        return wrid_desc[RDMA_WRID_RECV_CONTROL];

    }

    return wrid_desc[VAR_0];

}

const char *FUNC_0(int VAR_0)
{ if (VAR_0 >= RDMA_WRID_RECV_CONTROL) { return wrid_desc[RDMA_WRID_RECV_CONTROL]; } return wrid_desc[VAR_0]; }