the multi-store memory model