// TBD
send_udp(host, port, msg) {
D("cannot send_udp\n");
}
query_udp_port() {
return 4404;
void cat(string file) { write(read_file(file)); }