MAX_EXECMSG       196 usr/server/exec/main.c 	msg = malloc(MAX_EXECMSG);
MAX_EXECMSG       206 usr/server/exec/main.c 		error = msg_receive(obj, msg, MAX_EXECMSG);
MAX_EXECMSG       233 usr/server/exec/main.c 		error = msg_reply(obj, msg, MAX_EXECMSG);