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