Also, if this capability is added and the memory model is not
otherwise enabled by pragma, enable it as part of postprocessing.