https://5dok.net/document/yev35ree-the-algobox-package-typeset-algobox-programs.html