Aldebaran: lock usage of send_message()