procedure async_send_string(s: string);