Send a message to IKOS