Memory model semi-rewrite, semi-refactor.