cproof/tests/functionaltests/test_message.h

void message_send(void **state);
void message_receive(void **state);