use LoggingReceive for message passing debugging