ASR_getMessage
if ((MessageOffset = ASR_getMessage(sc)) != EMPTY_QUEUE) {
while (((MessageOffset = ASR_getMessage(sc)) == EMPTY_QUEUE)