RSN_UNDEFINED
case RSN_UNDEFINED:
close_rsn_t err_rsn = RSN_UNDEFINED;
err_rsn = RSN_UNDEFINED;
if (recv_closure_rsn == RSN_UNDEFINED) {
if (recv_closure_rsn != RSN_UNDEFINED) {
recv_closure_rsn = RSN_UNDEFINED;
recv_closure_rsn = RSN_UNDEFINED;