Single Execution of Aeminium Programs