Send a message to TapMal_spec