    class
    	CGI_RESPONSE_HEADER

    General
    	cluster: cgi_facilities
    	description: "Class which deals with the output header"

    Ancestors
    	CGI_COMMON_STATUS_TYPES
    	CGI_IN_AND_OUT

    Queries
    	Document_moved_status: INTEGER_32
    	Forbidden_status: INTEGER_32
    	header: STRING_8
    	Internal_server_error_status: INTEGER_32
    	is_complete_header: BOOLEAN
    	is_sent: BOOLEAN
    	No_response_status: INTEGER_32
    	Not_found_status: INTEGER_32
    	Not_implemented_status: INTEGER_32
    	Output: STDOUT
    	Response_header: CGI_RESPONSE_HEADER
    	Stdin: STDIN
    	Success_status: INTEGER_32
    	Unauthorized_status: INTEGER_32

    Commands
    	generate_http_redirection (an_url: STRING_8; is_secure: BOOLEAN)
    	generate_text_header
    	reinitialize_header
    	return_status (a_status: INTEGER_32; a_message: STRING_8)
    	send_to_browser
    	set_cookie (key, value, expiration, path, domain, secure: STRING_8)
    	set_expiration (a_date: STRING_8)
    	set_pragma (a_pragma: STRING_8)