see pages/arm7.tex