MS_SDTR_LEN
.msg_len = MS_SDTR_LEN,
ext_msg.msg_len == MS_SDTR_LEN) {
(out_msg.msg_len == MS_SDTR_LEN) &&