Barrier (rewrite by ezrewriter)-