// TBD

send_udp(host, port, msg) {
	D("cannot send_udp\n");
}

query_udp_port() {
	return 4404;
}



void cat(string file) { write(read_file(file)); }