#include <ipc.h>
#include <kernel.h>

int doSend(KernelStruct* Colonel, int TaskID, void* Msg, int MsgLen, void* Reply, int ReplyLen) {

}

int doReceive(KernelStruct* Colonel, int TaskID, void* Msg, int MsgLen) {

}

int doReply(KernelStruct* Colonel, int TaskID, void* Reply, int ReplyLen) {
    
}