public void handle(system.net.TcpStream stream,
                    int connId) {
    try {
        byte[] buf = new byte[8192];
        int n = stream.read(buf, 0, buf.length());
        string request =
            system.text.Encoding.decodeUtf8(buf.slice(0, n));
        string[] parts = request.split("\r\n")[0].split(" ");
        string path = parts[1];
        int count = this.recordRequest(); // mutex-guarded

        if (path == "/api/work") {
            // proves requests run in parallel, not queued
            system.thread.Thread.sleep(600);
            this.sendResponse(stream, 200, "OK",
                "application/json; charset=utf-8",
                "{\"worker\": " + connId + "}");
        }
        // ...whitelist-routed static files below
        stream.close();
    } catch (Exception ex) {
        system.Err.println("[worker " + connId + "] " + ex.message);
        stream.close();
    }
}