if(amId == AM_RECEIVE_FROM_ANY)
return call BlockingReceiveAny.receive(m, timeout);
else
return call BlockingReceive.receive[amId](m, timeout);
}
if(amId == AM_RECEIVE_FROM_ANY)
return call BlockingReceiveAny.receive(m, timeout);
else
return call BlockingReceive.receive[amId](m, timeout);
}