hard stmaryrd hard amsmath hard amsfonts hard iexec hard pgf hard fancyvrb hard pgfopts