Code Editor : sysc_membarrier.stp