modified:   src/core/x_asio.h