Prefer send_msg_int() over send_msg() for better debug output.