file i, o, s; tcpip_listen(s, 8080, 0); while (1) { accept(i, o, s, 0); f_(o, "HTTP/1.1 200 OK\n" "Content-Type: text/html; charset=UTF-8\n\n" "baby bye-bye" "

Goodbye, world!

\n"); f_flush(o); }