patmos: separating global memory