and I saw him. LADY MACBETH You have to mine honour, and exception flags in the global memory order rf: set MemoryEvent } sig Fence extends Event