:- doc_server(4000).
:- portray_text(true).

:- ['with_state.pl'].