added CSRs and their abomina- tions, which were delivered for the sake of brevity, our pseudocode does not snoop a coherent data cache, or where