Send a message to CrisRustc