New memory model implementation