\chapter{Beyond ports: manually modelling the A72 frontend}
