deletions | additions       diff --git a/header.tex b/header.tex  index 88e3a5d..c840f0e 100644  --- a/header.tex  +++ b/header.tex 
...
\fi  % macros  \newcommand{\clang}{{\tt clang}}  \newcommand{\osrkit}{{\sf OSRKit}}  \newcommand{\tinyvm}{{\sf TinyVM}}  \newcommand{\shootout}{{\tt shootout}}