The procedure doc_serve_document is not defined in the server.

Show another procedure: