CONSTANTS REGS = {r1, r2, r3} LADDRS = {l1, l2} HADDRS = {h1, h2} DATA = {d1, d2} MODE = "high" Zero = Zero LOG = TRUE SYMMETRY Perms VIEW vars SPECIFICATION Spec INVARIANTS TypeOK ConfSideChannels