Memory M Prior memory L Load p.x L->M S Store p.x S->M S->L execute load first