MESSAGE_TEXT_LEN
ATF_REQUIRE_MSG(msgsnd(sender_msqid, &m, MESSAGE_TEXT_LEN,
ATF_REQUIRE_MSG(msgrcv(sender_msqid, &m, MESSAGE_TEXT_LEN,
MTYPE_1_ACK, 0) == MESSAGE_TEXT_LEN,
ATF_REQUIRE_MSG(msgsnd(sender_msqid, &m, MESSAGE_TEXT_LEN, 0)
ATF_REQUIRE_MSG(msgrcv(sender_msqid, &m, MESSAGE_TEXT_LEN,
MTYPE_2_ACK, 0) == MESSAGE_TEXT_LEN,
if (msgrcv(msqid, &m, MESSAGE_TEXT_LEN, MTYPE_1, 0)
!= MESSAGE_TEXT_LEN)
if (msgsnd(msqid, &m, MESSAGE_TEXT_LEN, 0) == -1)
if (msgrcv(msqid, &m, MESSAGE_TEXT_LEN, MTYPE_2, 0)
!= MESSAGE_TEXT_LEN)
if (msgsnd(msqid, &m, MESSAGE_TEXT_LEN, 0) == -1)
char mtext[MESSAGE_TEXT_LEN];