+#if !defined(BOOST_ASIO_NO_DEPRECATED)
+ double d9 = socket1.async_send_to(buffer(mutable_char_buffer),
+ ip::icmp::endpoint(ip::icmp::v4(), 0), dlazy);
+ (void)d9;
+ double d10 = socket1.async_send_to(buffer(mutable_char_buffer),
+ ip::icmp::endpoint(ip::icmp::v6(), 0), dlazy);
+ (void)d10;
+ double d11 = socket1.async_send_to(buffer(const_char_buffer),
+ ip::icmp::endpoint(ip::icmp::v4(), 0), dlazy);
+ (void)d11;
+ double d12 = socket1.async_send_to(buffer(const_char_buffer),
+ ip::icmp::endpoint(ip::icmp::v6(), 0), dlazy);
+ (void)d12;
+ double d13 = socket1.async_send_to(null_buffers(),
+ ip::icmp::endpoint(ip::icmp::v4(), 0), dlazy);
+ (void)d13;
+ double d14 = socket1.async_send_to(null_buffers(),
+ ip::icmp::endpoint(ip::icmp::v6(), 0), dlazy);
+ (void)d14;
+ double d15 = socket1.async_send_to(buffer(mutable_char_buffer),
+ ip::icmp::endpoint(ip::icmp::v4(), 0), in_flags, dlazy);
+ (void)d15;
+ double d16 = socket1.async_send_to(buffer(mutable_char_buffer),
+ ip::icmp::endpoint(ip::icmp::v6(), 0), in_flags, dlazy);
+ (void)d16;
+ double d17 = socket1.async_send_to(buffer(const_char_buffer),
+ ip::icmp::endpoint(ip::icmp::v4(), 0), in_flags, dlazy);
+ (void)d17;
+ double d18 = socket1.async_send_to(buffer(const_char_buffer),
+ ip::icmp::endpoint(ip::icmp::v6(), 0), in_flags, dlazy);
+ (void)d18;
+ double d19 = socket1.async_send_to(null_buffers(),
+ ip::icmp::endpoint(ip::icmp::v4(), 0), in_flags, dlazy);
+ (void)d19;
+ double d20 = socket1.async_send_to(null_buffers(),
+ ip::icmp::endpoint(ip::icmp::v6(), 0), in_flags, dlazy);
+ (void)d20;
+#endif // !defined(BOOST_ASIO_NO_DEPRECATED)