Send a message to SenCoq SenCoq