void message_send(void** state); void message_receive_console(void** state); void message_receive_chatwin(void** state);