bin/harec
%%PORTDOCS%%%%DOCSDIR%%/declaration_solver.txt
%%PORTDOCS%%%%DOCSDIR%%/env.txt
%%PORTDOCS%%%%DOCSDIR%%/runtime.txt