default attribute of 
  Indir r is 
    
    [.AGG-ID #32 ($r (0 #3))
    , AGG-ID #32 ($r (1 #3))
    , AGG-ID #32 ($r (2 #3))
    , AGG-ID #32 ($r (3 #3))
    , AGG-ID #32 ($r (4 #3))
    , AGG-ID #32 ($r (5 #3))
    , AGG-ID #32 ($r (6 #3))
    , AGG-ID #32 ($r (7 #3))
    .] sub r : #32 loc

default attribute of 
  Disp8 (d8, r) is 
    <RTLOP add> #32 
      (<RTLOP sx> #8 #32 d8
      , FETCH_METHOD #32 (
        [.AGG-ID #32 ($r (0 #3))
        , AGG-ID #32 ($r (1 #3))
        , AGG-ID #32 ($r (2 #3))
        , AGG-ID #32 ($r (3 #3))
        , AGG-ID #32 ($r (4 #3))
        , AGG-ID #32 ($r (5 #3))
        , AGG-ID #32 ($r (6 #3))
        , AGG-ID #32 ($r (7 #3))
        .] sub r)
      ) : #32 bits

default attribute of 
  Disp32 (d32, r) is 
    <RTLOP add> #32 
      (d32
      , FETCH_METHOD #32 (
        [.AGG-ID #32 ($r (0 #3))
        , AGG-ID #32 ($r (1 #3))
        , AGG-ID #32 ($r (2 #3))
        , AGG-ID #32 ($r (3 #3))
        , AGG-ID #32 ($r (4 #3))
        , AGG-ID #32 ($r (5 #3))
        , AGG-ID #32 ($r (6 #3))
        , AGG-ID #32 ($r (7 #3))
        .] sub r)
      ) : #32 bits

default attribute of 
  Index (base, index, ss) is 
    <RTLOP add> #32 
      (FETCH_METHOD #32 (
        [.AGG-ID #32 ($r (0 #3))
        , AGG-ID #32 ($r (1 #3))
        , AGG-ID #32 ($r (2 #3))
        , AGG-ID #32 ($r (3 #3))
        , AGG-ID #32 ($r (4 #3))
        , AGG-ID #32 ($r (5 #3))
        , AGG-ID #32 ($r (6 #3))
        , AGG-ID #32 ($r (7 #3))
        .] sub base)
      , <RTLOP lshift> #2 #32 
        (32 #2
        , FETCH_METHOD #32 (
          [.AGG-ID #32 ($r (0 #3))
          , AGG-ID #32 ($r (1 #3))
          , AGG-ID #32 ($r (2 #3))
          , AGG-ID #32 ($r (3 #3))
          , AGG-ID #32 ($r (4 #3))
          , AGG-ID #32 ($r (5 #3))
          , AGG-ID #32 ($r (6 #3))
          , AGG-ID #32 ($r (7 #3))
          .] sub index)
        , ss
        )
      ) : #32 bits

default attribute of 
  Index8 (d8, base, index, ss) is 
    <RTLOP add> #32 
      (<RTLOP add> #32 
        (FETCH_METHOD #32 (
          [.AGG-ID #32 ($r (0 #3))
          , AGG-ID #32 ($r (1 #3))
          , AGG-ID #32 ($r (2 #3))
          , AGG-ID #32 ($r (3 #3))
          , AGG-ID #32 ($r (4 #3))
          , AGG-ID #32 ($r (5 #3))
          , AGG-ID #32 ($r (6 #3))
          , AGG-ID #32 ($r (7 #3))
          .] sub base)
        , <RTLOP sx> #8 #32 d8
        )
      , <RTLOP lshift> #2 #32 
        (32 #2
        , FETCH_METHOD #32 (
          [.AGG-ID #32 ($r (0 #3))
          , AGG-ID #32 ($r (1 #3))
          , AGG-ID #32 ($r (2 #3))
          , AGG-ID #32 ($r (3 #3))
          , AGG-ID #32 ($r (4 #3))
          , AGG-ID #32 ($r (5 #3))
          , AGG-ID #32 ($r (6 #3))
          , AGG-ID #32 ($r (7 #3))
          .] sub index)
        , ss
        )
      ) : #32 bits

default attribute of 
  Index32 (d32, base, index, ss) is 
    <RTLOP add> #32 
      (<RTLOP add> #32 
        (FETCH_METHOD #32 (
          [.AGG-ID #32 ($r (0 #3))
          , AGG-ID #32 ($r (1 #3))
          , AGG-ID #32 ($r (2 #3))
          , AGG-ID #32 ($r (3 #3))
          , AGG-ID #32 ($r (4 #3))
          , AGG-ID #32 ($r (5 #3))
          , AGG-ID #32 ($r (6 #3))
          , AGG-ID #32 ($r (7 #3))
          .] sub base)
        , d32
        )
      , <RTLOP lshift> #2 #32 
        (32 #2
        , FETCH_METHOD #32 (
          [.AGG-ID #32 ($r (0 #3))
          , AGG-ID #32 ($r (1 #3))
          , AGG-ID #32 ($r (2 #3))
          , AGG-ID #32 ($r (3 #3))
          , AGG-ID #32 ($r (4 #3))
          , AGG-ID #32 ($r (5 #3))
          , AGG-ID #32 ($r (6 #3))
          , AGG-ID #32 ($r (7 #3))
          .] sub index)
        , ss
        )
      ) : #32 bits

default attribute of 
  ShortIndex (d8, index, ss) is 
    <RTLOP add> #32 
      (<RTLOP sx> #8 #32 d8
      , <RTLOP lshift> #2 #32 
        (32 #2
        , FETCH_METHOD #32 (
          [.AGG-ID #32 ($r (0 #3))
          , AGG-ID #32 ($r (1 #3))
          , AGG-ID #32 ($r (2 #3))
          , AGG-ID #32 ($r (3 #3))
          , AGG-ID #32 ($r (4 #3))
          , AGG-ID #32 ($r (5 #3))
          , AGG-ID #32 ($r (6 #3))
          , AGG-ID #32 ($r (7 #3))
          .] sub index)
        , ss
        )
      ) : #32 bits

default attribute of Abs32 a is a : #32 bits

default attribute of 
  E Mem is 
    
    {b is AGG_METHOD #8 #8 ($m Mem)
    , w is AGG_METHOD #8 #16 ($m Mem)
    , d is AGG_METHOD #8 #32 ($m Mem)
    } : { b : #8 loc, d : #32 loc, w : #16 loc}

default attribute of 
  Reg r is 
    
    {b is 
        
        [.8-bits-at-loc #ungeneralized-8 #32 
          (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
        , 8-bits-at-loc #ungeneralized-9 #32 
          (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
        , 8-bits-at-loc #ungeneralized-10 #32 
          (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
        , 8-bits-at-loc #ungeneralized-11 #32 
          (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
        , 8-bits-at-loc #ungeneralized-12 #32 
          (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
        , 8-bits-at-loc #ungeneralized-13 #32 
          (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
        , 8-bits-at-loc #ungeneralized-14 #32 
          (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
        , 8-bits-at-loc #ungeneralized-15 #32 
          (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
        .] sub r
    , w is 
        
        [.16-bits-at-loc #ungeneralized-0 #32 
          (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
        , 16-bits-at-loc #ungeneralized-1 #32 
          (0 #ungeneralized-1, AGG-ID #32 ($r (1 #3)))
        , 16-bits-at-loc #ungeneralized-2 #32 
          (0 #ungeneralized-2, AGG-ID #32 ($r (2 #3)))
        , 16-bits-at-loc #ungeneralized-3 #32 
          (0 #ungeneralized-3, AGG-ID #32 ($r (3 #3)))
        , 16-bits-at-loc #ungeneralized-4 #32 
          (0 #ungeneralized-4, AGG-ID #32 ($r (4 #3)))
        , 16-bits-at-loc #ungeneralized-5 #32 
          (0 #ungeneralized-5, AGG-ID #32 ($r (5 #3)))
        , 16-bits-at-loc #ungeneralized-6 #32 
          (0 #ungeneralized-6, AGG-ID #32 ($r (6 #3)))
        , 16-bits-at-loc #ungeneralized-7 #32 
          (0 #ungeneralized-7, AGG-ID #32 ($r (7 #3)))
        .] sub r
    , d is 
        
        [.AGG-ID #32 ($r (0 #3))
        , AGG-ID #32 ($r (1 #3))
        , AGG-ID #32 ($r (2 #3))
        , AGG-ID #32 ($r (3 #3))
        , AGG-ID #32 ($r (4 #3))
        , AGG-ID #32 ($r (5 #3))
        , AGG-ID #32 ($r (6 #3))
        , AGG-ID #32 ($r (7 #3))
        .] sub r
    } : { b : #8 loc, d : #32 loc, w : #16 loc}

default attribute of 
  ANDiAL i8 is 
    STORE_METHOD #8 
      (8-bits-at-loc #ungeneralized-8 #32 
        (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
      , <RTLOP and> #8 
        (FETCH_METHOD #8 (8-bits-at-loc #ungeneralized-8 #32 
            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3))))
        , i8
        )
      ) : rtl

default attribute of 
  ANDiAX i16 is 
    STORE_METHOD #16 
      (16-bits-at-loc #ungeneralized-0 #32 
        (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
      , <RTLOP and> #16 
        (FETCH_METHOD #16 (16-bits-at-loc #ungeneralized-0 #32 
            (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3))))
        , i16
        )
      ) : rtl

default attribute of 
  ANDiEAX i32 is 
    STORE_METHOD #32 
      (AGG-ID #32 ($r (0 #3))
      , <RTLOP and> #32 (FETCH_METHOD #32 (AGG-ID #32 ($r (0 #3))), i32)
      ) : rtl

default attribute of 
  ANDib (addr, i) is 
    STORE_METHOD #8 
      (addr.b, <RTLOP and> #8 (FETCH_METHOD #8 addr.b, <RTLOP zx> #99 #8 i)
      ) : rtl

default attribute of 
  ANDiw (addr, i) is 
    STORE_METHOD #16 
      (addr.w, <RTLOP and> #16 (FETCH_METHOD #16 addr.w, <RTLOP zx> #99 #16 i)
      ) : rtl

default attribute of 
  ANDid (addr, i) is 
    STORE_METHOD #32 
      (addr.d, <RTLOP and> #32 (FETCH_METHOD #32 addr.d, <RTLOP zx> #99 #32 i)
      ) : rtl

default attribute of 
  ANDiowb (addr, i) is 
    STORE_METHOD #16 
      (addr.w
      , <RTLOP and> #16 
        (FETCH_METHOD #16 addr.w
        , <RTLOP zx> #ungeneralized-23 #16 
          (<RTLOP sx> #99 #ungeneralized-23 i)
        )
      ) : rtl

default attribute of 
  ANDiodb (addr, i) is 
    STORE_METHOD #32 
      (addr.d
      , <RTLOP and> #32 
        (FETCH_METHOD #32 addr.d
        , <RTLOP zx> #ungeneralized-24 #32 
          (<RTLOP sx> #99 #ungeneralized-24 i)
        )
      ) : rtl

default attribute of 
  ANDmrb (addr, reg) is 
    STORE_METHOD #8 
      (addr.b
      , <RTLOP and> #8 
        (FETCH_METHOD #8 addr.b
        , FETCH_METHOD #8 (
          [.8-bits-at-loc #ungeneralized-8 #32 
            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
          , 8-bits-at-loc #ungeneralized-9 #32 
            (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
          , 8-bits-at-loc #ungeneralized-10 #32 
            (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
          , 8-bits-at-loc #ungeneralized-11 #32 
            (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
          , 8-bits-at-loc #ungeneralized-12 #32 
            (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
          , 8-bits-at-loc #ungeneralized-13 #32 
            (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
          , 8-bits-at-loc #ungeneralized-14 #32 
            (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
          , 8-bits-at-loc #ungeneralized-15 #32 
            (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
          .] sub reg)
        )
      ) : rtl

default attribute of 
  ANDmrow (addr, reg) is 
    STORE_METHOD #16 
      (addr.w
      , <RTLOP and> #16 
        (FETCH_METHOD #16 addr.w
        , FETCH_METHOD #16 (
          [.16-bits-at-loc #ungeneralized-0 #32 
            (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
          , 16-bits-at-loc #ungeneralized-1 #32 
            (0 #ungeneralized-1, AGG-ID #32 ($r (1 #3)))
          , 16-bits-at-loc #ungeneralized-2 #32 
            (0 #ungeneralized-2, AGG-ID #32 ($r (2 #3)))
          , 16-bits-at-loc #ungeneralized-3 #32 
            (0 #ungeneralized-3, AGG-ID #32 ($r (3 #3)))
          , 16-bits-at-loc #ungeneralized-4 #32 
            (0 #ungeneralized-4, AGG-ID #32 ($r (4 #3)))
          , 16-bits-at-loc #ungeneralized-5 #32 
            (0 #ungeneralized-5, AGG-ID #32 ($r (5 #3)))
          , 16-bits-at-loc #ungeneralized-6 #32 
            (0 #ungeneralized-6, AGG-ID #32 ($r (6 #3)))
          , 16-bits-at-loc #ungeneralized-7 #32 
            (0 #ungeneralized-7, AGG-ID #32 ($r (7 #3)))
          .] sub reg)
        )
      ) : rtl

default attribute of 
  ANDmrod (addr, reg) is 
    STORE_METHOD #32 
      (addr.d
      , <RTLOP and> #32 
        (FETCH_METHOD #32 addr.d
        , FETCH_METHOD #32 (
          [.AGG-ID #32 ($r (0 #3))
          , AGG-ID #32 ($r (1 #3))
          , AGG-ID #32 ($r (2 #3))
          , AGG-ID #32 ($r (3 #3))
          , AGG-ID #32 ($r (4 #3))
          , AGG-ID #32 ($r (5 #3))
          , AGG-ID #32 ($r (6 #3))
          , AGG-ID #32 ($r (7 #3))
          .] sub reg)
        )
      ) : rtl

default attribute of 
  ANDrmb (addr, reg) is 
    STORE_METHOD #8 
      (
      [.8-bits-at-loc #ungeneralized-8 #32 
        (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
      , 8-bits-at-loc #ungeneralized-9 #32 
        (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
      , 8-bits-at-loc #ungeneralized-10 #32 
        (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
      , 8-bits-at-loc #ungeneralized-11 #32 
        (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
      , 8-bits-at-loc #ungeneralized-12 #32 
        (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
      , 8-bits-at-loc #ungeneralized-13 #32 
        (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
      , 8-bits-at-loc #ungeneralized-14 #32 
        (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
      , 8-bits-at-loc #ungeneralized-15 #32 
        (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
      .] sub reg
      , <RTLOP and> #8 
        (FETCH_METHOD #8 (
          [.8-bits-at-loc #ungeneralized-8 #32 
            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
          , 8-bits-at-loc #ungeneralized-9 #32 
            (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
          , 8-bits-at-loc #ungeneralized-10 #32 
            (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
          , 8-bits-at-loc #ungeneralized-11 #32 
            (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
          , 8-bits-at-loc #ungeneralized-12 #32 
            (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
          , 8-bits-at-loc #ungeneralized-13 #32 
            (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
          , 8-bits-at-loc #ungeneralized-14 #32 
            (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
          , 8-bits-at-loc #ungeneralized-15 #32 
            (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
          .] sub reg)
        , FETCH_METHOD #8 addr.b
        )
      ) : rtl

default attribute of 
  ANDrmow (addr, reg) is 
    STORE_METHOD #16 
      (
      [.16-bits-at-loc #ungeneralized-0 #32 
        (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
      , 16-bits-at-loc #ungeneralized-1 #32 
        (0 #ungeneralized-1, AGG-ID #32 ($r (1 #3)))
      , 16-bits-at-loc #ungeneralized-2 #32 
        (0 #ungeneralized-2, AGG-ID #32 ($r (2 #3)))
      , 16-bits-at-loc #ungeneralized-3 #32 
        (0 #ungeneralized-3, AGG-ID #32 ($r (3 #3)))
      , 16-bits-at-loc #ungeneralized-4 #32 
        (0 #ungeneralized-4, AGG-ID #32 ($r (4 #3)))
      , 16-bits-at-loc #ungeneralized-5 #32 
        (0 #ungeneralized-5, AGG-ID #32 ($r (5 #3)))
      , 16-bits-at-loc #ungeneralized-6 #32 
        (0 #ungeneralized-6, AGG-ID #32 ($r (6 #3)))
      , 16-bits-at-loc #ungeneralized-7 #32 
        (0 #ungeneralized-7, AGG-ID #32 ($r (7 #3)))
      .] sub reg
      , <RTLOP and> #16 
        (FETCH_METHOD #16 (
          [.16-bits-at-loc #ungeneralized-0 #32 
            (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
          , 16-bits-at-loc #ungeneralized-1 #32 
            (0 #ungeneralized-1, AGG-ID #32 ($r (1 #3)))
          , 16-bits-at-loc #ungeneralized-2 #32 
            (0 #ungeneralized-2, AGG-ID #32 ($r (2 #3)))
          , 16-bits-at-loc #ungeneralized-3 #32 
            (0 #ungeneralized-3, AGG-ID #32 ($r (3 #3)))
          , 16-bits-at-loc #ungeneralized-4 #32 
            (0 #ungeneralized-4, AGG-ID #32 ($r (4 #3)))
          , 16-bits-at-loc #ungeneralized-5 #32 
            (0 #ungeneralized-5, AGG-ID #32 ($r (5 #3)))
          , 16-bits-at-loc #ungeneralized-6 #32 
            (0 #ungeneralized-6, AGG-ID #32 ($r (6 #3)))
          , 16-bits-at-loc #ungeneralized-7 #32 
            (0 #ungeneralized-7, AGG-ID #32 ($r (7 #3)))
          .] sub reg)
        , FETCH_METHOD #16 addr.w
        )
      ) : rtl

default attribute of 
  ANDrmod (addr, reg) is 
    STORE_METHOD #32 
      (
      [.AGG-ID #32 ($r (0 #3))
      , AGG-ID #32 ($r (1 #3))
      , AGG-ID #32 ($r (2 #3))
      , AGG-ID #32 ($r (3 #3))
      , AGG-ID #32 ($r (4 #3))
      , AGG-ID #32 ($r (5 #3))
      , AGG-ID #32 ($r (6 #3))
      , AGG-ID #32 ($r (7 #3))
      .] sub reg
      , <RTLOP and> #32 
        (FETCH_METHOD #32 (
          [.AGG-ID #32 ($r (0 #3))
          , AGG-ID #32 ($r (1 #3))
          , AGG-ID #32 ($r (2 #3))
          , AGG-ID #32 ($r (3 #3))
          , AGG-ID #32 ($r (4 #3))
          , AGG-ID #32 ($r (5 #3))
          , AGG-ID #32 ($r (6 #3))
          , AGG-ID #32 ($r (7 #3))
          .] sub reg)
        , FETCH_METHOD #32 addr.d
        )
      ) : rtl

default attribute of 
  ANDiAL i8 is 
    STORE_METHOD #8 
      (8-bits-at-loc #ungeneralized-8 #32 
        (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
      , <RTLOP and> #8 
        (FETCH_METHOD #8 (8-bits-at-loc #ungeneralized-8 #32 
            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3))))
        , i8
        )
      ) : rtl

default attribute of 
  ANDiAX i16 is 
    STORE_METHOD #16 
      (16-bits-at-loc #ungeneralized-0 #32 
        (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
      , <RTLOP and> #16 
        (FETCH_METHOD #16 (16-bits-at-loc #ungeneralized-0 #32 
            (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3))))
        , i16
        )
      ) : rtl

default attribute of 
  ANDiEAX i32 is 
    STORE_METHOD #32 
      (AGG-ID #32 ($r (0 #3))
      , <RTLOP and> #32 (FETCH_METHOD #32 (AGG-ID #32 ($r (0 #3))), i32)
      ) : rtl

default attribute of 
  ANDib (addr, i) is 
    STORE_METHOD #8 
      (addr.b, <RTLOP and> #8 (FETCH_METHOD #8 addr.b, <RTLOP zx> #99 #8 i)
      ) : rtl

default attribute of 
  ANDiw (addr, i) is 
    STORE_METHOD #16 
      (addr.w, <RTLOP and> #16 (FETCH_METHOD #16 addr.w, <RTLOP zx> #99 #16 i)
      ) : rtl

default attribute of 
  ANDid (addr, i) is 
    STORE_METHOD #32 
      (addr.d, <RTLOP and> #32 (FETCH_METHOD #32 addr.d, <RTLOP zx> #99 #32 i)
      ) : rtl

default attribute of 
  ANDiowb (addr, i) is 
    STORE_METHOD #16 
      (addr.w
      , <RTLOP and> #16 
        (FETCH_METHOD #16 addr.w
        , <RTLOP zx> #ungeneralized-25 #16 
          (<RTLOP sx> #99 #ungeneralized-25 i)
        )
      ) : rtl

default attribute of 
  ANDiodb (addr, i) is 
    STORE_METHOD #32 
      (addr.d
      , <RTLOP and> #32 
        (FETCH_METHOD #32 addr.d
        , <RTLOP zx> #ungeneralized-26 #32 
          (<RTLOP sx> #99 #ungeneralized-26 i)
        )
      ) : rtl

default attribute of 
  ANDmrb (addr, reg) is 
    STORE_METHOD #8 
      (addr.b
      , <RTLOP and> #8 
        (FETCH_METHOD #8 addr.b
        , FETCH_METHOD #8 (
          [.8-bits-at-loc #ungeneralized-8 #32 
            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
          , 8-bits-at-loc #ungeneralized-9 #32 
            (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
          , 8-bits-at-loc #ungeneralized-10 #32 
            (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
          , 8-bits-at-loc #ungeneralized-11 #32 
            (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
          , 8-bits-at-loc #ungeneralized-12 #32 
            (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
          , 8-bits-at-loc #ungeneralized-13 #32 
            (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
          , 8-bits-at-loc #ungeneralized-14 #32 
            (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
          , 8-bits-at-loc #ungeneralized-15 #32 
            (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
          .] sub reg)
        )
      ) : rtl

default attribute of 
  ANDmrow (addr, reg) is 
    STORE_METHOD #16 
      (addr.w
      , <RTLOP and> #16 
        (FETCH_METHOD #16 addr.w
        , FETCH_METHOD #16 (
          [.16-bits-at-loc #ungeneralized-0 #32 
            (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
          , 16-bits-at-loc #ungeneralized-1 #32 
            (0 #ungeneralized-1, AGG-ID #32 ($r (1 #3)))
          , 16-bits-at-loc #ungeneralized-2 #32 
            (0 #ungeneralized-2, AGG-ID #32 ($r (2 #3)))
          , 16-bits-at-loc #ungeneralized-3 #32 
            (0 #ungeneralized-3, AGG-ID #32 ($r (3 #3)))
          , 16-bits-at-loc #ungeneralized-4 #32 
            (0 #ungeneralized-4, AGG-ID #32 ($r (4 #3)))
          , 16-bits-at-loc #ungeneralized-5 #32 
            (0 #ungeneralized-5, AGG-ID #32 ($r (5 #3)))
          , 16-bits-at-loc #ungeneralized-6 #32 
            (0 #ungeneralized-6, AGG-ID #32 ($r (6 #3)))
          , 16-bits-at-loc #ungeneralized-7 #32 
            (0 #ungeneralized-7, AGG-ID #32 ($r (7 #3)))
          .] sub reg)
        )
      ) : rtl

default attribute of 
  ANDmrod (addr, reg) is 
    STORE_METHOD #32 
      (addr.d
      , <RTLOP and> #32 
        (FETCH_METHOD #32 addr.d
        , FETCH_METHOD #32 (
          [.AGG-ID #32 ($r (0 #3))
          , AGG-ID #32 ($r (1 #3))
          , AGG-ID #32 ($r (2 #3))
          , AGG-ID #32 ($r (3 #3))
          , AGG-ID #32 ($r (4 #3))
          , AGG-ID #32 ($r (5 #3))
          , AGG-ID #32 ($r (6 #3))
          , AGG-ID #32 ($r (7 #3))
          .] sub reg)
        )
      ) : rtl

default attribute of 
  ANDrmb (addr, reg) is 
    STORE_METHOD #8 
      (
      [.8-bits-at-loc #ungeneralized-8 #32 
        (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
      , 8-bits-at-loc #ungeneralized-9 #32 
        (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
      , 8-bits-at-loc #ungeneralized-10 #32 
        (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
      , 8-bits-at-loc #ungeneralized-11 #32 
        (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
      , 8-bits-at-loc #ungeneralized-12 #32 
        (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
      , 8-bits-at-loc #ungeneralized-13 #32 
        (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
      , 8-bits-at-loc #ungeneralized-14 #32 
        (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
      , 8-bits-at-loc #ungeneralized-15 #32 
        (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
      .] sub reg
      , <RTLOP and> #8 
        (FETCH_METHOD #8 (
          [.8-bits-at-loc #ungeneralized-8 #32 
            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
          , 8-bits-at-loc #ungeneralized-9 #32 
            (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
          , 8-bits-at-loc #ungeneralized-10 #32 
            (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
          , 8-bits-at-loc #ungeneralized-11 #32 
            (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
          , 8-bits-at-loc #ungeneralized-12 #32 
            (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
          , 8-bits-at-loc #ungeneralized-13 #32 
            (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
          , 8-bits-at-loc #ungeneralized-14 #32 
            (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
          , 8-bits-at-loc #ungeneralized-15 #32 
            (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
          .] sub reg)
        , FETCH_METHOD #8 addr.b
        )
      ) : rtl

default attribute of 
  ANDrmow (addr, reg) is 
    STORE_METHOD #16 
      (
      [.16-bits-at-loc #ungeneralized-0 #32 
        (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
      , 16-bits-at-loc #ungeneralized-1 #32 
        (0 #ungeneralized-1, AGG-ID #32 ($r (1 #3)))
      , 16-bits-at-loc #ungeneralized-2 #32 
        (0 #ungeneralized-2, AGG-ID #32 ($r (2 #3)))
      , 16-bits-at-loc #ungeneralized-3 #32 
        (0 #ungeneralized-3, AGG-ID #32 ($r (3 #3)))
      , 16-bits-at-loc #ungeneralized-4 #32 
        (0 #ungeneralized-4, AGG-ID #32 ($r (4 #3)))
      , 16-bits-at-loc #ungeneralized-5 #32 
        (0 #ungeneralized-5, AGG-ID #32 ($r (5 #3)))
      , 16-bits-at-loc #ungeneralized-6 #32 
        (0 #ungeneralized-6, AGG-ID #32 ($r (6 #3)))
      , 16-bits-at-loc #ungeneralized-7 #32 
        (0 #ungeneralized-7, AGG-ID #32 ($r (7 #3)))
      .] sub reg
      , <RTLOP and> #16 
        (FETCH_METHOD #16 (
          [.16-bits-at-loc #ungeneralized-0 #32 
            (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
          , 16-bits-at-loc #ungeneralized-1 #32 
            (0 #ungeneralized-1, AGG-ID #32 ($r (1 #3)))
          , 16-bits-at-loc #ungeneralized-2 #32 
            (0 #ungeneralized-2, AGG-ID #32 ($r (2 #3)))
          , 16-bits-at-loc #ungeneralized-3 #32 
            (0 #ungeneralized-3, AGG-ID #32 ($r (3 #3)))
          , 16-bits-at-loc #ungeneralized-4 #32 
            (0 #ungeneralized-4, AGG-ID #32 ($r (4 #3)))
          , 16-bits-at-loc #ungeneralized-5 #32 
            (0 #ungeneralized-5, AGG-ID #32 ($r (5 #3)))
          , 16-bits-at-loc #ungeneralized-6 #32 
            (0 #ungeneralized-6, AGG-ID #32 ($r (6 #3)))
          , 16-bits-at-loc #ungeneralized-7 #32 
            (0 #ungeneralized-7, AGG-ID #32 ($r (7 #3)))
          .] sub reg)
        , FETCH_METHOD #16 addr.w
        )
      ) : rtl

default attribute of 
  ANDrmod (addr, reg) is 
    STORE_METHOD #32 
      (
      [.AGG-ID #32 ($r (0 #3))
      , AGG-ID #32 ($r (1 #3))
      , AGG-ID #32 ($r (2 #3))
      , AGG-ID #32 ($r (3 #3))
      , AGG-ID #32 ($r (4 #3))
      , AGG-ID #32 ($r (5 #3))
      , AGG-ID #32 ($r (6 #3))
      , AGG-ID #32 ($r (7 #3))
      .] sub reg
      , <RTLOP and> #32 
        (FETCH_METHOD #32 (
          [.AGG-ID #32 ($r (0 #3))
          , AGG-ID #32 ($r (1 #3))
          , AGG-ID #32 ($r (2 #3))
          , AGG-ID #32 ($r (3 #3))
          , AGG-ID #32 ($r (4 #3))
          , AGG-ID #32 ($r (5 #3))
          , AGG-ID #32 ($r (6 #3))
          , AGG-ID #32 ($r (7 #3))
          .] sub reg)
        , FETCH_METHOD #32 addr.d
        )
      ) : rtl

default attribute of 
  ANDiAL i8 is 
    STORE_METHOD #8 
      (8-bits-at-loc #ungeneralized-8 #32 
        (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
      , <RTLOP and> #8 
        (FETCH_METHOD #8 (8-bits-at-loc #ungeneralized-8 #32 
            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3))))
        , i8
        )
      ) : rtl

default attribute of 
  ORiAL i8 is 
    STORE_METHOD #8 
      (8-bits-at-loc #ungeneralized-8 #32 
        (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
      , <RTLOP or> #8 
        (FETCH_METHOD #8 (8-bits-at-loc #ungeneralized-8 #32 
            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3))))
        , i8
        )
      ) : rtl

default attribute of 
  XORiAL i8 is 
    STORE_METHOD #8 
      (8-bits-at-loc #ungeneralized-8 #32 
        (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
      , <RTLOP xor> #8 
        (FETCH_METHOD #8 (8-bits-at-loc #ungeneralized-8 #32 
            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3))))
        , i8
        )
      ) : rtl

default attribute of 
  ANDiAX i16 is 
    STORE_METHOD #16 
      (16-bits-at-loc #ungeneralized-0 #32 
        (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
      , <RTLOP and> #16 
        (FETCH_METHOD #16 (16-bits-at-loc #ungeneralized-0 #32 
            (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3))))
        , i16
        )
      ) : rtl

default attribute of 
  ORiAX i16 is 
    STORE_METHOD #16 
      (16-bits-at-loc #ungeneralized-0 #32 
        (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
      , <RTLOP or> #16 
        (FETCH_METHOD #16 (16-bits-at-loc #ungeneralized-0 #32 
            (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3))))
        , i16
        )
      ) : rtl

default attribute of 
  XORiAX i16 is 
    STORE_METHOD #16 
      (16-bits-at-loc #ungeneralized-0 #32 
        (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
      , <RTLOP xor> #16 
        (FETCH_METHOD #16 (16-bits-at-loc #ungeneralized-0 #32 
            (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3))))
        , i16
        )
      ) : rtl

default attribute of 
  ANDiEAX i32 is 
    STORE_METHOD #32 
      (AGG-ID #32 ($r (0 #3))
      , <RTLOP and> #32 (FETCH_METHOD #32 (AGG-ID #32 ($r (0 #3))), i32)
      ) : rtl

default attribute of 
  ORiEAX i32 is 
    STORE_METHOD #32 
      (AGG-ID #32 ($r (0 #3))
      , <RTLOP or> #32 (FETCH_METHOD #32 (AGG-ID #32 ($r (0 #3))), i32)
      ) : rtl

default attribute of 
  XORiEAX i32 is 
    STORE_METHOD #32 
      (AGG-ID #32 ($r (0 #3))
      , <RTLOP xor> #32 (FETCH_METHOD #32 (AGG-ID #32 ($r (0 #3))), i32)
      ) : rtl

default attribute of 
  ANDib (addr, i) is 
    STORE_METHOD #8 
      (addr.b, <RTLOP and> #8 (FETCH_METHOD #8 addr.b, <RTLOP zx> #99 #8 i)
      ) : rtl

default attribute of 
  ANDiw (addr, i) is 
    STORE_METHOD #16 
      (addr.w, <RTLOP and> #16 (FETCH_METHOD #16 addr.w, <RTLOP zx> #99 #16 i)
      ) : rtl

default attribute of 
  ANDid (addr, i) is 
    STORE_METHOD #32 
      (addr.d, <RTLOP and> #32 (FETCH_METHOD #32 addr.d, <RTLOP zx> #99 #32 i)
      ) : rtl

default attribute of 
  ORib (addr, i) is 
    STORE_METHOD #8 
      (addr.b, <RTLOP or> #8 (FETCH_METHOD #8 addr.b, <RTLOP zx> #99 #8 i)
      ) : rtl

default attribute of 
  ORiw (addr, i) is 
    STORE_METHOD #16 
      (addr.w, <RTLOP or> #16 (FETCH_METHOD #16 addr.w, <RTLOP zx> #99 #16 i)
      ) : rtl

default attribute of 
  ORid (addr, i) is 
    STORE_METHOD #32 
      (addr.d, <RTLOP or> #32 (FETCH_METHOD #32 addr.d, <RTLOP zx> #99 #32 i)
      ) : rtl

default attribute of 
  XORib (addr, i) is 
    STORE_METHOD #8 
      (addr.b, <RTLOP xor> #8 (FETCH_METHOD #8 addr.b, <RTLOP zx> #99 #8 i)
      ) : rtl

default attribute of 
  XORiw (addr, i) is 
    STORE_METHOD #16 
      (addr.w, <RTLOP xor> #16 (FETCH_METHOD #16 addr.w, <RTLOP zx> #99 #16 i)
      ) : rtl

default attribute of 
  XORid (addr, i) is 
    STORE_METHOD #32 
      (addr.d, <RTLOP xor> #32 (FETCH_METHOD #32 addr.d, <RTLOP zx> #99 #32 i)
      ) : rtl

default attribute of 
  ANDiowb (addr, i) is 
    STORE_METHOD #16 
      (addr.w
      , <RTLOP and> #16 
        (FETCH_METHOD #16 addr.w
        , <RTLOP zx> #ungeneralized-27 #16 
          (<RTLOP sx> #99 #ungeneralized-27 i)
        )
      ) : rtl

default attribute of 
  ANDiodb (addr, i) is 
    STORE_METHOD #32 
      (addr.d
      , <RTLOP and> #32 
        (FETCH_METHOD #32 addr.d
        , <RTLOP zx> #ungeneralized-28 #32 
          (<RTLOP sx> #99 #ungeneralized-28 i)
        )
      ) : rtl

default attribute of 
  ORiowb (addr, i) is 
    STORE_METHOD #16 
      (addr.w
      , <RTLOP or> #16 
        (FETCH_METHOD #16 addr.w
        , <RTLOP zx> #ungeneralized-29 #16 
          (<RTLOP sx> #99 #ungeneralized-29 i)
        )
      ) : rtl

default attribute of 
  ORiodb (addr, i) is 
    STORE_METHOD #32 
      (addr.d
      , <RTLOP or> #32 
        (FETCH_METHOD #32 addr.d
        , <RTLOP zx> #ungeneralized-30 #32 
          (<RTLOP sx> #99 #ungeneralized-30 i)
        )
      ) : rtl

default attribute of 
  XORiowb (addr, i) is 
    STORE_METHOD #16 
      (addr.w
      , <RTLOP xor> #16 
        (FETCH_METHOD #16 addr.w
        , <RTLOP zx> #ungeneralized-31 #16 
          (<RTLOP sx> #99 #ungeneralized-31 i)
        )
      ) : rtl

default attribute of 
  XORiodb (addr, i) is 
    STORE_METHOD #32 
      (addr.d
      , <RTLOP xor> #32 
        (FETCH_METHOD #32 addr.d
        , <RTLOP zx> #ungeneralized-32 #32 
          (<RTLOP sx> #99 #ungeneralized-32 i)
        )
      ) : rtl

default attribute of 
  ANDmrb (addr, reg) is 
    STORE_METHOD #8 
      (addr.b
      , <RTLOP and> #8 
        (FETCH_METHOD #8 addr.b
        , FETCH_METHOD #8 (
          [.8-bits-at-loc #ungeneralized-8 #32 
            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
          , 8-bits-at-loc #ungeneralized-9 #32 
            (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
          , 8-bits-at-loc #ungeneralized-10 #32 
            (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
          , 8-bits-at-loc #ungeneralized-11 #32 
            (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
          , 8-bits-at-loc #ungeneralized-12 #32 
            (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
          , 8-bits-at-loc #ungeneralized-13 #32 
            (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
          , 8-bits-at-loc #ungeneralized-14 #32 
            (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
          , 8-bits-at-loc #ungeneralized-15 #32 
            (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
          .] sub reg)
        )
      ) : rtl

default attribute of 
  ANDmrow (addr, reg) is 
    STORE_METHOD #16 
      (addr.w
      , <RTLOP and> #16 
        (FETCH_METHOD #16 addr.w
        , FETCH_METHOD #16 (
          [.16-bits-at-loc #ungeneralized-0 #32 
            (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
          , 16-bits-at-loc #ungeneralized-1 #32 
            (0 #ungeneralized-1, AGG-ID #32 ($r (1 #3)))
          , 16-bits-at-loc #ungeneralized-2 #32 
            (0 #ungeneralized-2, AGG-ID #32 ($r (2 #3)))
          , 16-bits-at-loc #ungeneralized-3 #32 
            (0 #ungeneralized-3, AGG-ID #32 ($r (3 #3)))
          , 16-bits-at-loc #ungeneralized-4 #32 
            (0 #ungeneralized-4, AGG-ID #32 ($r (4 #3)))
          , 16-bits-at-loc #ungeneralized-5 #32 
            (0 #ungeneralized-5, AGG-ID #32 ($r (5 #3)))
          , 16-bits-at-loc #ungeneralized-6 #32 
            (0 #ungeneralized-6, AGG-ID #32 ($r (6 #3)))
          , 16-bits-at-loc #ungeneralized-7 #32 
            (0 #ungeneralized-7, AGG-ID #32 ($r (7 #3)))
          .] sub reg)
        )
      ) : rtl

default attribute of 
  ANDmrod (addr, reg) is 
    STORE_METHOD #32 
      (addr.d
      , <RTLOP and> #32 
        (FETCH_METHOD #32 addr.d
        , FETCH_METHOD #32 (
          [.AGG-ID #32 ($r (0 #3))
          , AGG-ID #32 ($r (1 #3))
          , AGG-ID #32 ($r (2 #3))
          , AGG-ID #32 ($r (3 #3))
          , AGG-ID #32 ($r (4 #3))
          , AGG-ID #32 ($r (5 #3))
          , AGG-ID #32 ($r (6 #3))
          , AGG-ID #32 ($r (7 #3))
          .] sub reg)
        )
      ) : rtl

default attribute of 
  ORmrb (addr, reg) is 
    STORE_METHOD #8 
      (addr.b
      , <RTLOP or> #8 
        (FETCH_METHOD #8 addr.b
        , FETCH_METHOD #8 (
          [.8-bits-at-loc #ungeneralized-8 #32 
            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
          , 8-bits-at-loc #ungeneralized-9 #32 
            (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
          , 8-bits-at-loc #ungeneralized-10 #32 
            (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
          , 8-bits-at-loc #ungeneralized-11 #32 
            (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
          , 8-bits-at-loc #ungeneralized-12 #32 
            (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
          , 8-bits-at-loc #ungeneralized-13 #32 
            (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
          , 8-bits-at-loc #ungeneralized-14 #32 
            (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
          , 8-bits-at-loc #ungeneralized-15 #32 
            (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
          .] sub reg)
        )
      ) : rtl

default attribute of 
  ORmrow (addr, reg) is 
    STORE_METHOD #16 
      (addr.w
      , <RTLOP or> #16 
        (FETCH_METHOD #16 addr.w
        , FETCH_METHOD #16 (
          [.16-bits-at-loc #ungeneralized-0 #32 
            (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
          , 16-bits-at-loc #ungeneralized-1 #32 
            (0 #ungeneralized-1, AGG-ID #32 ($r (1 #3)))
          , 16-bits-at-loc #ungeneralized-2 #32 
            (0 #ungeneralized-2, AGG-ID #32 ($r (2 #3)))
          , 16-bits-at-loc #ungeneralized-3 #32 
            (0 #ungeneralized-3, AGG-ID #32 ($r (3 #3)))
          , 16-bits-at-loc #ungeneralized-4 #32 
            (0 #ungeneralized-4, AGG-ID #32 ($r (4 #3)))
          , 16-bits-at-loc #ungeneralized-5 #32 
            (0 #ungeneralized-5, AGG-ID #32 ($r (5 #3)))
          , 16-bits-at-loc #ungeneralized-6 #32 
            (0 #ungeneralized-6, AGG-ID #32 ($r (6 #3)))
          , 16-bits-at-loc #ungeneralized-7 #32 
            (0 #ungeneralized-7, AGG-ID #32 ($r (7 #3)))
          .] sub reg)
        )
      ) : rtl

default attribute of 
  ORmrod (addr, reg) is 
    STORE_METHOD #32 
      (addr.d
      , <RTLOP or> #32 
        (FETCH_METHOD #32 addr.d
        , FETCH_METHOD #32 (
          [.AGG-ID #32 ($r (0 #3))
          , AGG-ID #32 ($r (1 #3))
          , AGG-ID #32 ($r (2 #3))
          , AGG-ID #32 ($r (3 #3))
          , AGG-ID #32 ($r (4 #3))
          , AGG-ID #32 ($r (5 #3))
          , AGG-ID #32 ($r (6 #3))
          , AGG-ID #32 ($r (7 #3))
          .] sub reg)
        )
      ) : rtl

default attribute of 
  XORmrb (addr, reg) is 
    STORE_METHOD #8 
      (addr.b
      , <RTLOP xor> #8 
        (FETCH_METHOD #8 addr.b
        , FETCH_METHOD #8 (
          [.8-bits-at-loc #ungeneralized-8 #32 
            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
          , 8-bits-at-loc #ungeneralized-9 #32 
            (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
          , 8-bits-at-loc #ungeneralized-10 #32 
            (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
          , 8-bits-at-loc #ungeneralized-11 #32 
            (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
          , 8-bits-at-loc #ungeneralized-12 #32 
            (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
          , 8-bits-at-loc #ungeneralized-13 #32 
            (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
          , 8-bits-at-loc #ungeneralized-14 #32 
            (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
          , 8-bits-at-loc #ungeneralized-15 #32 
            (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
          .] sub reg)
        )
      ) : rtl

default attribute of 
  XORmrow (addr, reg) is 
    STORE_METHOD #16 
      (addr.w
      , <RTLOP xor> #16 
        (FETCH_METHOD #16 addr.w
        , FETCH_METHOD #16 (
          [.16-bits-at-loc #ungeneralized-0 #32 
            (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
          , 16-bits-at-loc #ungeneralized-1 #32 
            (0 #ungeneralized-1, AGG-ID #32 ($r (1 #3)))
          , 16-bits-at-loc #ungeneralized-2 #32 
            (0 #ungeneralized-2, AGG-ID #32 ($r (2 #3)))
          , 16-bits-at-loc #ungeneralized-3 #32 
            (0 #ungeneralized-3, AGG-ID #32 ($r (3 #3)))
          , 16-bits-at-loc #ungeneralized-4 #32 
            (0 #ungeneralized-4, AGG-ID #32 ($r (4 #3)))
          , 16-bits-at-loc #ungeneralized-5 #32 
            (0 #ungeneralized-5, AGG-ID #32 ($r (5 #3)))
          , 16-bits-at-loc #ungeneralized-6 #32 
            (0 #ungeneralized-6, AGG-ID #32 ($r (6 #3)))
          , 16-bits-at-loc #ungeneralized-7 #32 
            (0 #ungeneralized-7, AGG-ID #32 ($r (7 #3)))
          .] sub reg)
        )
      ) : rtl

default attribute of 
  XORmrod (addr, reg) is 
    STORE_METHOD #32 
      (addr.d
      , <RTLOP xor> #32 
        (FETCH_METHOD #32 addr.d
        , FETCH_METHOD #32 (
          [.AGG-ID #32 ($r (0 #3))
          , AGG-ID #32 ($r (1 #3))
          , AGG-ID #32 ($r (2 #3))
          , AGG-ID #32 ($r (3 #3))
          , AGG-ID #32 ($r (4 #3))
          , AGG-ID #32 ($r (5 #3))
          , AGG-ID #32 ($r (6 #3))
          , AGG-ID #32 ($r (7 #3))
          .] sub reg)
        )
      ) : rtl

default attribute of 
  ANDrmb (addr, reg) is 
    STORE_METHOD #8 
      (
      [.8-bits-at-loc #ungeneralized-8 #32 
        (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
      , 8-bits-at-loc #ungeneralized-9 #32 
        (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
      , 8-bits-at-loc #ungeneralized-10 #32 
        (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
      , 8-bits-at-loc #ungeneralized-11 #32 
        (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
      , 8-bits-at-loc #ungeneralized-12 #32 
        (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
      , 8-bits-at-loc #ungeneralized-13 #32 
        (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
      , 8-bits-at-loc #ungeneralized-14 #32 
        (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
      , 8-bits-at-loc #ungeneralized-15 #32 
        (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
      .] sub reg
      , <RTLOP and> #8 
        (FETCH_METHOD #8 (
          [.8-bits-at-loc #ungeneralized-8 #32 
            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
          , 8-bits-at-loc #ungeneralized-9 #32 
            (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
          , 8-bits-at-loc #ungeneralized-10 #32 
            (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
          , 8-bits-at-loc #ungeneralized-11 #32 
            (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
          , 8-bits-at-loc #ungeneralized-12 #32 
            (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
          , 8-bits-at-loc #ungeneralized-13 #32 
            (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
          , 8-bits-at-loc #ungeneralized-14 #32 
            (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
          , 8-bits-at-loc #ungeneralized-15 #32 
            (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
          .] sub reg)
        , FETCH_METHOD #8 addr.b
        )
      ) : rtl

default attribute of 
  ANDrmow (addr, reg) is 
    STORE_METHOD #16 
      (
      [.16-bits-at-loc #ungeneralized-0 #32 
        (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
      , 16-bits-at-loc #ungeneralized-1 #32 
        (0 #ungeneralized-1, AGG-ID #32 ($r (1 #3)))
      , 16-bits-at-loc #ungeneralized-2 #32 
        (0 #ungeneralized-2, AGG-ID #32 ($r (2 #3)))
      , 16-bits-at-loc #ungeneralized-3 #32 
        (0 #ungeneralized-3, AGG-ID #32 ($r (3 #3)))
      , 16-bits-at-loc #ungeneralized-4 #32 
        (0 #ungeneralized-4, AGG-ID #32 ($r (4 #3)))
      , 16-bits-at-loc #ungeneralized-5 #32 
        (0 #ungeneralized-5, AGG-ID #32 ($r (5 #3)))
      , 16-bits-at-loc #ungeneralized-6 #32 
        (0 #ungeneralized-6, AGG-ID #32 ($r (6 #3)))
      , 16-bits-at-loc #ungeneralized-7 #32 
        (0 #ungeneralized-7, AGG-ID #32 ($r (7 #3)))
      .] sub reg
      , <RTLOP and> #16 
        (FETCH_METHOD #16 (
          [.16-bits-at-loc #ungeneralized-0 #32 
            (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
          , 16-bits-at-loc #ungeneralized-1 #32 
            (0 #ungeneralized-1, AGG-ID #32 ($r (1 #3)))
          , 16-bits-at-loc #ungeneralized-2 #32 
            (0 #ungeneralized-2, AGG-ID #32 ($r (2 #3)))
          , 16-bits-at-loc #ungeneralized-3 #32 
            (0 #ungeneralized-3, AGG-ID #32 ($r (3 #3)))
          , 16-bits-at-loc #ungeneralized-4 #32 
            (0 #ungeneralized-4, AGG-ID #32 ($r (4 #3)))
          , 16-bits-at-loc #ungeneralized-5 #32 
            (0 #ungeneralized-5, AGG-ID #32 ($r (5 #3)))
          , 16-bits-at-loc #ungeneralized-6 #32 
            (0 #ungeneralized-6, AGG-ID #32 ($r (6 #3)))
          , 16-bits-at-loc #ungeneralized-7 #32 
            (0 #ungeneralized-7, AGG-ID #32 ($r (7 #3)))
          .] sub reg)
        , FETCH_METHOD #16 addr.w
        )
      ) : rtl

default attribute of 
  ANDrmod (addr, reg) is 
    STORE_METHOD #32 
      (
      [.AGG-ID #32 ($r (0 #3))
      , AGG-ID #32 ($r (1 #3))
      , AGG-ID #32 ($r (2 #3))
      , AGG-ID #32 ($r (3 #3))
      , AGG-ID #32 ($r (4 #3))
      , AGG-ID #32 ($r (5 #3))
      , AGG-ID #32 ($r (6 #3))
      , AGG-ID #32 ($r (7 #3))
      .] sub reg
      , <RTLOP and> #32 
        (FETCH_METHOD #32 (
          [.AGG-ID #32 ($r (0 #3))
          , AGG-ID #32 ($r (1 #3))
          , AGG-ID #32 ($r (2 #3))
          , AGG-ID #32 ($r (3 #3))
          , AGG-ID #32 ($r (4 #3))
          , AGG-ID #32 ($r (5 #3))
          , AGG-ID #32 ($r (6 #3))
          , AGG-ID #32 ($r (7 #3))
          .] sub reg)
        , FETCH_METHOD #32 addr.d
        )
      ) : rtl

default attribute of 
  ORrmb (addr, reg) is 
    STORE_METHOD #8 
      (
      [.8-bits-at-loc #ungeneralized-8 #32 
        (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
      , 8-bits-at-loc #ungeneralized-9 #32 
        (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
      , 8-bits-at-loc #ungeneralized-10 #32 
        (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
      , 8-bits-at-loc #ungeneralized-11 #32 
        (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
      , 8-bits-at-loc #ungeneralized-12 #32 
        (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
      , 8-bits-at-loc #ungeneralized-13 #32 
        (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
      , 8-bits-at-loc #ungeneralized-14 #32 
        (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
      , 8-bits-at-loc #ungeneralized-15 #32 
        (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
      .] sub reg
      , <RTLOP or> #8 
        (FETCH_METHOD #8 (
          [.8-bits-at-loc #ungeneralized-8 #32 
            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
          , 8-bits-at-loc #ungeneralized-9 #32 
            (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
          , 8-bits-at-loc #ungeneralized-10 #32 
            (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
          , 8-bits-at-loc #ungeneralized-11 #32 
            (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
          , 8-bits-at-loc #ungeneralized-12 #32 
            (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
          , 8-bits-at-loc #ungeneralized-13 #32 
            (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
          , 8-bits-at-loc #ungeneralized-14 #32 
            (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
          , 8-bits-at-loc #ungeneralized-15 #32 
            (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
          .] sub reg)
        , FETCH_METHOD #8 addr.b
        )
      ) : rtl

default attribute of 
  ORrmow (addr, reg) is 
    STORE_METHOD #16 
      (
      [.16-bits-at-loc #ungeneralized-0 #32 
        (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
      , 16-bits-at-loc #ungeneralized-1 #32 
        (0 #ungeneralized-1, AGG-ID #32 ($r (1 #3)))
      , 16-bits-at-loc #ungeneralized-2 #32 
        (0 #ungeneralized-2, AGG-ID #32 ($r (2 #3)))
      , 16-bits-at-loc #ungeneralized-3 #32 
        (0 #ungeneralized-3, AGG-ID #32 ($r (3 #3)))
      , 16-bits-at-loc #ungeneralized-4 #32 
        (0 #ungeneralized-4, AGG-ID #32 ($r (4 #3)))
      , 16-bits-at-loc #ungeneralized-5 #32 
        (0 #ungeneralized-5, AGG-ID #32 ($r (5 #3)))
      , 16-bits-at-loc #ungeneralized-6 #32 
        (0 #ungeneralized-6, AGG-ID #32 ($r (6 #3)))
      , 16-bits-at-loc #ungeneralized-7 #32 
        (0 #ungeneralized-7, AGG-ID #32 ($r (7 #3)))
      .] sub reg
      , <RTLOP or> #16 
        (FETCH_METHOD #16 (
          [.16-bits-at-loc #ungeneralized-0 #32 
            (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
          , 16-bits-at-loc #ungeneralized-1 #32 
            (0 #ungeneralized-1, AGG-ID #32 ($r (1 #3)))
          , 16-bits-at-loc #ungeneralized-2 #32 
            (0 #ungeneralized-2, AGG-ID #32 ($r (2 #3)))
          , 16-bits-at-loc #ungeneralized-3 #32 
            (0 #ungeneralized-3, AGG-ID #32 ($r (3 #3)))
          , 16-bits-at-loc #ungeneralized-4 #32 
            (0 #ungeneralized-4, AGG-ID #32 ($r (4 #3)))
          , 16-bits-at-loc #ungeneralized-5 #32 
            (0 #ungeneralized-5, AGG-ID #32 ($r (5 #3)))
          , 16-bits-at-loc #ungeneralized-6 #32 
            (0 #ungeneralized-6, AGG-ID #32 ($r (6 #3)))
          , 16-bits-at-loc #ungeneralized-7 #32 
            (0 #ungeneralized-7, AGG-ID #32 ($r (7 #3)))
          .] sub reg)
        , FETCH_METHOD #16 addr.w
        )
      ) : rtl

default attribute of 
  ORrmod (addr, reg) is 
    STORE_METHOD #32 
      (
      [.AGG-ID #32 ($r (0 #3))
      , AGG-ID #32 ($r (1 #3))
      , AGG-ID #32 ($r (2 #3))
      , AGG-ID #32 ($r (3 #3))
      , AGG-ID #32 ($r (4 #3))
      , AGG-ID #32 ($r (5 #3))
      , AGG-ID #32 ($r (6 #3))
      , AGG-ID #32 ($r (7 #3))
      .] sub reg
      , <RTLOP or> #32 
        (FETCH_METHOD #32 (
          [.AGG-ID #32 ($r (0 #3))
          , AGG-ID #32 ($r (1 #3))
          , AGG-ID #32 ($r (2 #3))
          , AGG-ID #32 ($r (3 #3))
          , AGG-ID #32 ($r (4 #3))
          , AGG-ID #32 ($r (5 #3))
          , AGG-ID #32 ($r (6 #3))
          , AGG-ID #32 ($r (7 #3))
          .] sub reg)
        , FETCH_METHOD #32 addr.d
        )
      ) : rtl

default attribute of 
  XORrmb (addr, reg) is 
    STORE_METHOD #8 
      (
      [.8-bits-at-loc #ungeneralized-8 #32 
        (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
      , 8-bits-at-loc #ungeneralized-9 #32 
        (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
      , 8-bits-at-loc #ungeneralized-10 #32 
        (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
      , 8-bits-at-loc #ungeneralized-11 #32 
        (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
      , 8-bits-at-loc #ungeneralized-12 #32 
        (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
      , 8-bits-at-loc #ungeneralized-13 #32 
        (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
      , 8-bits-at-loc #ungeneralized-14 #32 
        (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
      , 8-bits-at-loc #ungeneralized-15 #32 
        (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
      .] sub reg
      , <RTLOP xor> #8 
        (FETCH_METHOD #8 (
          [.8-bits-at-loc #ungeneralized-8 #32 
            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
          , 8-bits-at-loc #ungeneralized-9 #32 
            (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
          , 8-bits-at-loc #ungeneralized-10 #32 
            (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
          , 8-bits-at-loc #ungeneralized-11 #32 
            (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
          , 8-bits-at-loc #ungeneralized-12 #32 
            (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
          , 8-bits-at-loc #ungeneralized-13 #32 
            (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
          , 8-bits-at-loc #ungeneralized-14 #32 
            (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
          , 8-bits-at-loc #ungeneralized-15 #32 
            (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
          .] sub reg)
        , FETCH_METHOD #8 addr.b
        )
      ) : rtl

default attribute of 
  XORrmow (addr, reg) is 
    STORE_METHOD #16 
      (
      [.16-bits-at-loc #ungeneralized-0 #32 
        (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
      , 16-bits-at-loc #ungeneralized-1 #32 
        (0 #ungeneralized-1, AGG-ID #32 ($r (1 #3)))
      , 16-bits-at-loc #ungeneralized-2 #32 
        (0 #ungeneralized-2, AGG-ID #32 ($r (2 #3)))
      , 16-bits-at-loc #ungeneralized-3 #32 
        (0 #ungeneralized-3, AGG-ID #32 ($r (3 #3)))
      , 16-bits-at-loc #ungeneralized-4 #32 
        (0 #ungeneralized-4, AGG-ID #32 ($r (4 #3)))
      , 16-bits-at-loc #ungeneralized-5 #32 
        (0 #ungeneralized-5, AGG-ID #32 ($r (5 #3)))
      , 16-bits-at-loc #ungeneralized-6 #32 
        (0 #ungeneralized-6, AGG-ID #32 ($r (6 #3)))
      , 16-bits-at-loc #ungeneralized-7 #32 
        (0 #ungeneralized-7, AGG-ID #32 ($r (7 #3)))
      .] sub reg
      , <RTLOP xor> #16 
        (FETCH_METHOD #16 (
          [.16-bits-at-loc #ungeneralized-0 #32 
            (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
          , 16-bits-at-loc #ungeneralized-1 #32 
            (0 #ungeneralized-1, AGG-ID #32 ($r (1 #3)))
          , 16-bits-at-loc #ungeneralized-2 #32 
            (0 #ungeneralized-2, AGG-ID #32 ($r (2 #3)))
          , 16-bits-at-loc #ungeneralized-3 #32 
            (0 #ungeneralized-3, AGG-ID #32 ($r (3 #3)))
          , 16-bits-at-loc #ungeneralized-4 #32 
            (0 #ungeneralized-4, AGG-ID #32 ($r (4 #3)))
          , 16-bits-at-loc #ungeneralized-5 #32 
            (0 #ungeneralized-5, AGG-ID #32 ($r (5 #3)))
          , 16-bits-at-loc #ungeneralized-6 #32 
            (0 #ungeneralized-6, AGG-ID #32 ($r (6 #3)))
          , 16-bits-at-loc #ungeneralized-7 #32 
            (0 #ungeneralized-7, AGG-ID #32 ($r (7 #3)))
          .] sub reg)
        , FETCH_METHOD #16 addr.w
        )
      ) : rtl

default attribute of 
  XORrmod (addr, reg) is 
    STORE_METHOD #32 
      (
      [.AGG-ID #32 ($r (0 #3))
      , AGG-ID #32 ($r (1 #3))
      , AGG-ID #32 ($r (2 #3))
      , AGG-ID #32 ($r (3 #3))
      , AGG-ID #32 ($r (4 #3))
      , AGG-ID #32 ($r (5 #3))
      , AGG-ID #32 ($r (6 #3))
      , AGG-ID #32 ($r (7 #3))
      .] sub reg
      , <RTLOP xor> #32 
        (FETCH_METHOD #32 (
          [.AGG-ID #32 ($r (0 #3))
          , AGG-ID #32 ($r (1 #3))
          , AGG-ID #32 ($r (2 #3))
          , AGG-ID #32 ($r (3 #3))
          , AGG-ID #32 ($r (4 #3))
          , AGG-ID #32 ($r (5 #3))
          , AGG-ID #32 ($r (6 #3))
          , AGG-ID #32 ($r (7 #3))
          .] sub reg)
        , FETCH_METHOD #32 addr.d
        )
      ) : rtl

default attribute of 
  ANDiAL i8 is 
    ; 
      (STORE_METHOD #8 
        (8-bits-at-loc #ungeneralized-8 #32 
          (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
        , <RTLOP and> #8 
          (FETCH_METHOD #8 (8-bits-at-loc #ungeneralized-8 #32 
              (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3))))
          , i8
          )
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #8 
                      (<RTLOP and> #8 
                        (FETCH_METHOD #8 (8-bits-at-loc #ungeneralized-8 #32 
                            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3))))
                        , i8
                        )
                      , 0 #8
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #8 
                      (<RTLOP and> #8 
                        (FETCH_METHOD #8 (8-bits-at-loc #ungeneralized-8 #32 
                            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3))))
                        , i8
                        )
                      , 0 #8
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #8 
                        (0 #ungeneralized-22
                        , <RTLOP and> #8 
                          (FETCH_METHOD #8 
                            (8-bits-at-loc #ungeneralized-8 #32 
                              (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3))))
                          , i8
                          )
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  ORiAL i8 is 
    ; 
      (STORE_METHOD #8 
        (8-bits-at-loc #ungeneralized-8 #32 
          (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
        , <RTLOP or> #8 
          (FETCH_METHOD #8 (8-bits-at-loc #ungeneralized-8 #32 
              (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3))))
          , i8
          )
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #8 
                      (<RTLOP or> #8 
                        (FETCH_METHOD #8 (8-bits-at-loc #ungeneralized-8 #32 
                            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3))))
                        , i8
                        )
                      , 0 #8
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #8 
                      (<RTLOP or> #8 
                        (FETCH_METHOD #8 (8-bits-at-loc #ungeneralized-8 #32 
                            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3))))
                        , i8
                        )
                      , 0 #8
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #8 
                        (0 #ungeneralized-22
                        , <RTLOP or> #8 
                          (FETCH_METHOD #8 
                            (8-bits-at-loc #ungeneralized-8 #32 
                              (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3))))
                          , i8
                          )
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  XORiAL i8 is 
    ; 
      (STORE_METHOD #8 
        (8-bits-at-loc #ungeneralized-8 #32 
          (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
        , <RTLOP xor> #8 
          (FETCH_METHOD #8 (8-bits-at-loc #ungeneralized-8 #32 
              (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3))))
          , i8
          )
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #8 
                      (<RTLOP xor> #8 
                        (FETCH_METHOD #8 (8-bits-at-loc #ungeneralized-8 #32 
                            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3))))
                        , i8
                        )
                      , 0 #8
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #8 
                      (<RTLOP xor> #8 
                        (FETCH_METHOD #8 (8-bits-at-loc #ungeneralized-8 #32 
                            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3))))
                        , i8
                        )
                      , 0 #8
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #8 
                        (0 #ungeneralized-22
                        , <RTLOP xor> #8 
                          (FETCH_METHOD #8 
                            (8-bits-at-loc #ungeneralized-8 #32 
                              (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3))))
                          , i8
                          )
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  ANDiAX i16 is 
    ; 
      (STORE_METHOD #16 
        (16-bits-at-loc #ungeneralized-0 #32 
          (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
        , <RTLOP and> #16 
          (FETCH_METHOD #16 (16-bits-at-loc #ungeneralized-0 #32 
              (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3))))
          , i16
          )
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #16 
                      (<RTLOP and> #16 
                        (FETCH_METHOD #16 (16-bits-at-loc #ungeneralized-0 
                            #32 (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3))))
                        , i16
                        )
                      , 0 #16
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #16 
                      (<RTLOP and> #16 
                        (FETCH_METHOD #16 (16-bits-at-loc #ungeneralized-0 
                            #32 (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3))))
                        , i16
                        )
                      , 0 #16
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #16 
                        (0 #ungeneralized-22
                        , <RTLOP and> #16 
                          (FETCH_METHOD #16 
                            (16-bits-at-loc #ungeneralized-0 #32 
                              (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3))))
                          , i16
                          )
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  ORiAX i16 is 
    ; 
      (STORE_METHOD #16 
        (16-bits-at-loc #ungeneralized-0 #32 
          (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
        , <RTLOP or> #16 
          (FETCH_METHOD #16 (16-bits-at-loc #ungeneralized-0 #32 
              (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3))))
          , i16
          )
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #16 
                      (<RTLOP or> #16 
                        (FETCH_METHOD #16 (16-bits-at-loc #ungeneralized-0 
                            #32 (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3))))
                        , i16
                        )
                      , 0 #16
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #16 
                      (<RTLOP or> #16 
                        (FETCH_METHOD #16 (16-bits-at-loc #ungeneralized-0 
                            #32 (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3))))
                        , i16
                        )
                      , 0 #16
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #16 
                        (0 #ungeneralized-22
                        , <RTLOP or> #16 
                          (FETCH_METHOD #16 
                            (16-bits-at-loc #ungeneralized-0 #32 
                              (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3))))
                          , i16
                          )
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  XORiAX i16 is 
    ; 
      (STORE_METHOD #16 
        (16-bits-at-loc #ungeneralized-0 #32 
          (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
        , <RTLOP xor> #16 
          (FETCH_METHOD #16 (16-bits-at-loc #ungeneralized-0 #32 
              (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3))))
          , i16
          )
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #16 
                      (<RTLOP xor> #16 
                        (FETCH_METHOD #16 (16-bits-at-loc #ungeneralized-0 
                            #32 (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3))))
                        , i16
                        )
                      , 0 #16
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #16 
                      (<RTLOP xor> #16 
                        (FETCH_METHOD #16 (16-bits-at-loc #ungeneralized-0 
                            #32 (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3))))
                        , i16
                        )
                      , 0 #16
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #16 
                        (0 #ungeneralized-22
                        , <RTLOP xor> #16 
                          (FETCH_METHOD #16 
                            (16-bits-at-loc #ungeneralized-0 #32 
                              (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3))))
                          , i16
                          )
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  ANDiEAX i32 is 
    ; 
      (STORE_METHOD #32 
        (AGG-ID #32 ($r (0 #3))
        , <RTLOP and> #32 (FETCH_METHOD #32 (AGG-ID #32 ($r (0 #3))), i32)
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #32 
                      (<RTLOP and> #32 
                        (FETCH_METHOD #32 (AGG-ID #32 ($r (0 #3))), i32)
                      , 0 #32
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #32 
                      (<RTLOP and> #32 
                        (FETCH_METHOD #32 (AGG-ID #32 ($r (0 #3))), i32)
                      , 0 #32
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #32 
                        (0 #ungeneralized-22
                        , <RTLOP and> #32 
                          (FETCH_METHOD #32 (AGG-ID #32 ($r (0 #3))), i32)
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  ORiEAX i32 is 
    ; 
      (STORE_METHOD #32 
        (AGG-ID #32 ($r (0 #3))
        , <RTLOP or> #32 (FETCH_METHOD #32 (AGG-ID #32 ($r (0 #3))), i32)
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #32 
                      (<RTLOP or> #32 
                        (FETCH_METHOD #32 (AGG-ID #32 ($r (0 #3))), i32)
                      , 0 #32
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #32 
                      (<RTLOP or> #32 
                        (FETCH_METHOD #32 (AGG-ID #32 ($r (0 #3))), i32)
                      , 0 #32
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #32 
                        (0 #ungeneralized-22
                        , <RTLOP or> #32 
                          (FETCH_METHOD #32 (AGG-ID #32 ($r (0 #3))), i32)
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  XORiEAX i32 is 
    ; 
      (STORE_METHOD #32 
        (AGG-ID #32 ($r (0 #3))
        , <RTLOP xor> #32 (FETCH_METHOD #32 (AGG-ID #32 ($r (0 #3))), i32)
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #32 
                      (<RTLOP xor> #32 
                        (FETCH_METHOD #32 (AGG-ID #32 ($r (0 #3))), i32)
                      , 0 #32
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #32 
                      (<RTLOP xor> #32 
                        (FETCH_METHOD #32 (AGG-ID #32 ($r (0 #3))), i32)
                      , 0 #32
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #32 
                        (0 #ungeneralized-22
                        , <RTLOP xor> #32 
                          (FETCH_METHOD #32 (AGG-ID #32 ($r (0 #3))), i32)
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  ANDib (addr, i) is 
    ; 
      (STORE_METHOD #8 
        (addr.b, <RTLOP and> #8 (FETCH_METHOD #8 addr.b, <RTLOP zx> #99 #8 i))
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #8 
                      (<RTLOP and> #8 
                        (FETCH_METHOD #8 addr.b, <RTLOP zx> #99 #8 i)
                      , 0 #8
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #8 
                      (<RTLOP and> #8 
                        (FETCH_METHOD #8 addr.b, <RTLOP zx> #99 #8 i)
                      , 0 #8
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #8 
                        (0 #ungeneralized-22
                        , <RTLOP and> #8 
                          (FETCH_METHOD #8 addr.b, <RTLOP zx> #99 #8 i)
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  ANDiw (addr, i) is 
    ; 
      (STORE_METHOD #16 
        (addr.w
        , <RTLOP and> #16 (FETCH_METHOD #16 addr.w, <RTLOP zx> #99 #16 i)
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #16 
                      (<RTLOP and> #16 
                        (FETCH_METHOD #16 addr.w, <RTLOP zx> #99 #16 i)
                      , 0 #16
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #16 
                      (<RTLOP and> #16 
                        (FETCH_METHOD #16 addr.w, <RTLOP zx> #99 #16 i)
                      , 0 #16
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #16 
                        (0 #ungeneralized-22
                        , <RTLOP and> #16 
                          (FETCH_METHOD #16 addr.w, <RTLOP zx> #99 #16 i)
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  ANDid (addr, i) is 
    ; 
      (STORE_METHOD #32 
        (addr.d
        , <RTLOP and> #32 (FETCH_METHOD #32 addr.d, <RTLOP zx> #99 #32 i)
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #32 
                      (<RTLOP and> #32 
                        (FETCH_METHOD #32 addr.d, <RTLOP zx> #99 #32 i)
                      , 0 #32
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #32 
                      (<RTLOP and> #32 
                        (FETCH_METHOD #32 addr.d, <RTLOP zx> #99 #32 i)
                      , 0 #32
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #32 
                        (0 #ungeneralized-22
                        , <RTLOP and> #32 
                          (FETCH_METHOD #32 addr.d, <RTLOP zx> #99 #32 i)
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  ORib (addr, i) is 
    ; 
      (STORE_METHOD #8 
        (addr.b, <RTLOP or> #8 (FETCH_METHOD #8 addr.b, <RTLOP zx> #99 #8 i))
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #8 
                      (<RTLOP or> #8 
                        (FETCH_METHOD #8 addr.b, <RTLOP zx> #99 #8 i)
                      , 0 #8
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #8 
                      (<RTLOP or> #8 
                        (FETCH_METHOD #8 addr.b, <RTLOP zx> #99 #8 i)
                      , 0 #8
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #8 
                        (0 #ungeneralized-22
                        , <RTLOP or> #8 
                          (FETCH_METHOD #8 addr.b, <RTLOP zx> #99 #8 i)
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  ORiw (addr, i) is 
    ; 
      (STORE_METHOD #16 
        (addr.w
        , <RTLOP or> #16 (FETCH_METHOD #16 addr.w, <RTLOP zx> #99 #16 i)
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #16 
                      (<RTLOP or> #16 
                        (FETCH_METHOD #16 addr.w, <RTLOP zx> #99 #16 i)
                      , 0 #16
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #16 
                      (<RTLOP or> #16 
                        (FETCH_METHOD #16 addr.w, <RTLOP zx> #99 #16 i)
                      , 0 #16
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #16 
                        (0 #ungeneralized-22
                        , <RTLOP or> #16 
                          (FETCH_METHOD #16 addr.w, <RTLOP zx> #99 #16 i)
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  ORid (addr, i) is 
    ; 
      (STORE_METHOD #32 
        (addr.d
        , <RTLOP or> #32 (FETCH_METHOD #32 addr.d, <RTLOP zx> #99 #32 i)
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #32 
                      (<RTLOP or> #32 
                        (FETCH_METHOD #32 addr.d, <RTLOP zx> #99 #32 i)
                      , 0 #32
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #32 
                      (<RTLOP or> #32 
                        (FETCH_METHOD #32 addr.d, <RTLOP zx> #99 #32 i)
                      , 0 #32
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #32 
                        (0 #ungeneralized-22
                        , <RTLOP or> #32 
                          (FETCH_METHOD #32 addr.d, <RTLOP zx> #99 #32 i)
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  XORib (addr, i) is 
    ; 
      (STORE_METHOD #8 
        (addr.b, <RTLOP xor> #8 (FETCH_METHOD #8 addr.b, <RTLOP zx> #99 #8 i))
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #8 
                      (<RTLOP xor> #8 
                        (FETCH_METHOD #8 addr.b, <RTLOP zx> #99 #8 i)
                      , 0 #8
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #8 
                      (<RTLOP xor> #8 
                        (FETCH_METHOD #8 addr.b, <RTLOP zx> #99 #8 i)
                      , 0 #8
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #8 
                        (0 #ungeneralized-22
                        , <RTLOP xor> #8 
                          (FETCH_METHOD #8 addr.b, <RTLOP zx> #99 #8 i)
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  XORiw (addr, i) is 
    ; 
      (STORE_METHOD #16 
        (addr.w
        , <RTLOP xor> #16 (FETCH_METHOD #16 addr.w, <RTLOP zx> #99 #16 i)
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #16 
                      (<RTLOP xor> #16 
                        (FETCH_METHOD #16 addr.w, <RTLOP zx> #99 #16 i)
                      , 0 #16
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #16 
                      (<RTLOP xor> #16 
                        (FETCH_METHOD #16 addr.w, <RTLOP zx> #99 #16 i)
                      , 0 #16
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #16 
                        (0 #ungeneralized-22
                        , <RTLOP xor> #16 
                          (FETCH_METHOD #16 addr.w, <RTLOP zx> #99 #16 i)
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  XORid (addr, i) is 
    ; 
      (STORE_METHOD #32 
        (addr.d
        , <RTLOP xor> #32 (FETCH_METHOD #32 addr.d, <RTLOP zx> #99 #32 i)
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #32 
                      (<RTLOP xor> #32 
                        (FETCH_METHOD #32 addr.d, <RTLOP zx> #99 #32 i)
                      , 0 #32
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #32 
                      (<RTLOP xor> #32 
                        (FETCH_METHOD #32 addr.d, <RTLOP zx> #99 #32 i)
                      , 0 #32
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #32 
                        (0 #ungeneralized-22
                        , <RTLOP xor> #32 
                          (FETCH_METHOD #32 addr.d, <RTLOP zx> #99 #32 i)
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  ANDiowb (addr, i) is 
    ; 
      (STORE_METHOD #16 
        (addr.w
        , <RTLOP and> #16 
          (FETCH_METHOD #16 addr.w
          , <RTLOP zx> #ungeneralized-33 #16 
            (<RTLOP sx> #99 #ungeneralized-33 i)
          )
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #16 
                      (<RTLOP and> #16 
                        (FETCH_METHOD #16 addr.w
                        , <RTLOP zx> #ungeneralized-33 #16 
                          (<RTLOP sx> #99 #ungeneralized-33 i)
                        )
                      , 0 #16
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #16 
                      (<RTLOP and> #16 
                        (FETCH_METHOD #16 addr.w
                        , <RTLOP zx> #ungeneralized-33 #16 
                          (<RTLOP sx> #99 #ungeneralized-33 i)
                        )
                      , 0 #16
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #16 
                        (0 #ungeneralized-22
                        , <RTLOP and> #16 
                          (FETCH_METHOD #16 addr.w
                          , <RTLOP zx> #ungeneralized-33 #16 
                            (<RTLOP sx> #99 #ungeneralized-33 i)
                          )
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  ANDiodb (addr, i) is 
    ; 
      (STORE_METHOD #32 
        (addr.d
        , <RTLOP and> #32 
          (FETCH_METHOD #32 addr.d
          , <RTLOP zx> #ungeneralized-34 #32 
            (<RTLOP sx> #99 #ungeneralized-34 i)
          )
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #32 
                      (<RTLOP and> #32 
                        (FETCH_METHOD #32 addr.d
                        , <RTLOP zx> #ungeneralized-34 #32 
                          (<RTLOP sx> #99 #ungeneralized-34 i)
                        )
                      , 0 #32
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #32 
                      (<RTLOP and> #32 
                        (FETCH_METHOD #32 addr.d
                        , <RTLOP zx> #ungeneralized-34 #32 
                          (<RTLOP sx> #99 #ungeneralized-34 i)
                        )
                      , 0 #32
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #32 
                        (0 #ungeneralized-22
                        , <RTLOP and> #32 
                          (FETCH_METHOD #32 addr.d
                          , <RTLOP zx> #ungeneralized-34 #32 
                            (<RTLOP sx> #99 #ungeneralized-34 i)
                          )
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  ORiowb (addr, i) is 
    ; 
      (STORE_METHOD #16 
        (addr.w
        , <RTLOP or> #16 
          (FETCH_METHOD #16 addr.w
          , <RTLOP zx> #ungeneralized-35 #16 
            (<RTLOP sx> #99 #ungeneralized-35 i)
          )
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #16 
                      (<RTLOP or> #16 
                        (FETCH_METHOD #16 addr.w
                        , <RTLOP zx> #ungeneralized-35 #16 
                          (<RTLOP sx> #99 #ungeneralized-35 i)
                        )
                      , 0 #16
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #16 
                      (<RTLOP or> #16 
                        (FETCH_METHOD #16 addr.w
                        , <RTLOP zx> #ungeneralized-35 #16 
                          (<RTLOP sx> #99 #ungeneralized-35 i)
                        )
                      , 0 #16
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #16 
                        (0 #ungeneralized-22
                        , <RTLOP or> #16 
                          (FETCH_METHOD #16 addr.w
                          , <RTLOP zx> #ungeneralized-35 #16 
                            (<RTLOP sx> #99 #ungeneralized-35 i)
                          )
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  ORiodb (addr, i) is 
    ; 
      (STORE_METHOD #32 
        (addr.d
        , <RTLOP or> #32 
          (FETCH_METHOD #32 addr.d
          , <RTLOP zx> #ungeneralized-36 #32 
            (<RTLOP sx> #99 #ungeneralized-36 i)
          )
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #32 
                      (<RTLOP or> #32 
                        (FETCH_METHOD #32 addr.d
                        , <RTLOP zx> #ungeneralized-36 #32 
                          (<RTLOP sx> #99 #ungeneralized-36 i)
                        )
                      , 0 #32
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #32 
                      (<RTLOP or> #32 
                        (FETCH_METHOD #32 addr.d
                        , <RTLOP zx> #ungeneralized-36 #32 
                          (<RTLOP sx> #99 #ungeneralized-36 i)
                        )
                      , 0 #32
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #32 
                        (0 #ungeneralized-22
                        , <RTLOP or> #32 
                          (FETCH_METHOD #32 addr.d
                          , <RTLOP zx> #ungeneralized-36 #32 
                            (<RTLOP sx> #99 #ungeneralized-36 i)
                          )
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  XORiowb (addr, i) is 
    ; 
      (STORE_METHOD #16 
        (addr.w
        , <RTLOP xor> #16 
          (FETCH_METHOD #16 addr.w
          , <RTLOP zx> #ungeneralized-37 #16 
            (<RTLOP sx> #99 #ungeneralized-37 i)
          )
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #16 
                      (<RTLOP xor> #16 
                        (FETCH_METHOD #16 addr.w
                        , <RTLOP zx> #ungeneralized-37 #16 
                          (<RTLOP sx> #99 #ungeneralized-37 i)
                        )
                      , 0 #16
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #16 
                      (<RTLOP xor> #16 
                        (FETCH_METHOD #16 addr.w
                        , <RTLOP zx> #ungeneralized-37 #16 
                          (<RTLOP sx> #99 #ungeneralized-37 i)
                        )
                      , 0 #16
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #16 
                        (0 #ungeneralized-22
                        , <RTLOP xor> #16 
                          (FETCH_METHOD #16 addr.w
                          , <RTLOP zx> #ungeneralized-37 #16 
                            (<RTLOP sx> #99 #ungeneralized-37 i)
                          )
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  XORiodb (addr, i) is 
    ; 
      (STORE_METHOD #32 
        (addr.d
        , <RTLOP xor> #32 
          (FETCH_METHOD #32 addr.d
          , <RTLOP zx> #ungeneralized-38 #32 
            (<RTLOP sx> #99 #ungeneralized-38 i)
          )
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #32 
                      (<RTLOP xor> #32 
                        (FETCH_METHOD #32 addr.d
                        , <RTLOP zx> #ungeneralized-38 #32 
                          (<RTLOP sx> #99 #ungeneralized-38 i)
                        )
                      , 0 #32
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #32 
                      (<RTLOP xor> #32 
                        (FETCH_METHOD #32 addr.d
                        , <RTLOP zx> #ungeneralized-38 #32 
                          (<RTLOP sx> #99 #ungeneralized-38 i)
                        )
                      , 0 #32
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #32 
                        (0 #ungeneralized-22
                        , <RTLOP xor> #32 
                          (FETCH_METHOD #32 addr.d
                          , <RTLOP zx> #ungeneralized-38 #32 
                            (<RTLOP sx> #99 #ungeneralized-38 i)
                          )
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  ANDmrb (addr, reg) is 
    ; 
      (STORE_METHOD #8 
        (addr.b
        , <RTLOP and> #8 
          (FETCH_METHOD #8 addr.b
          , FETCH_METHOD #8 (
            [.8-bits-at-loc #ungeneralized-8 #32 
              (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
            , 8-bits-at-loc #ungeneralized-9 #32 
              (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
            , 8-bits-at-loc #ungeneralized-10 #32 
              (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
            , 8-bits-at-loc #ungeneralized-11 #32 
              (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
            , 8-bits-at-loc #ungeneralized-12 #32 
              (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
            , 8-bits-at-loc #ungeneralized-13 #32 
              (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
            , 8-bits-at-loc #ungeneralized-14 #32 
              (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
            , 8-bits-at-loc #ungeneralized-15 #32 
              (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
            .] sub reg)
          )
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #8 
                      (<RTLOP and> #8 
                        (FETCH_METHOD #8 addr.b
                        , FETCH_METHOD #8 (
                          [.8-bits-at-loc #ungeneralized-8 #32 
                            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
                          , 8-bits-at-loc #ungeneralized-9 #32 
                            (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
                          , 8-bits-at-loc #ungeneralized-10 #32 
                            (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
                          , 8-bits-at-loc #ungeneralized-11 #32 
                            (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
                          , 8-bits-at-loc #ungeneralized-12 #32 
                            (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
                          , 8-bits-at-loc #ungeneralized-13 #32 
                            (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
                          , 8-bits-at-loc #ungeneralized-14 #32 
                            (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
                          , 8-bits-at-loc #ungeneralized-15 #32 
                            (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
                          .] sub reg)
                        )
                      , 0 #8
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #8 
                      (<RTLOP and> #8 
                        (FETCH_METHOD #8 addr.b
                        , FETCH_METHOD #8 (
                          [.8-bits-at-loc #ungeneralized-8 #32 
                            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
                          , 8-bits-at-loc #ungeneralized-9 #32 
                            (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
                          , 8-bits-at-loc #ungeneralized-10 #32 
                            (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
                          , 8-bits-at-loc #ungeneralized-11 #32 
                            (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
                          , 8-bits-at-loc #ungeneralized-12 #32 
                            (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
                          , 8-bits-at-loc #ungeneralized-13 #32 
                            (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
                          , 8-bits-at-loc #ungeneralized-14 #32 
                            (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
                          , 8-bits-at-loc #ungeneralized-15 #32 
                            (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
                          .] sub reg)
                        )
                      , 0 #8
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #8 
                        (0 #ungeneralized-22
                        , <RTLOP and> #8 
                          (FETCH_METHOD #8 addr.b
                          , FETCH_METHOD #8 (
                            [.8-bits-at-loc #ungeneralized-8 #32 
                              (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
                            , 8-bits-at-loc #ungeneralized-9 #32 
                              (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
                            , 8-bits-at-loc #ungeneralized-10 #32 
                              (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
                            , 8-bits-at-loc #ungeneralized-11 #32 
                              (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
                            , 8-bits-at-loc #ungeneralized-12 #32 
                              (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
                            , 8-bits-at-loc #ungeneralized-13 #32 
                              (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
                            , 8-bits-at-loc #ungeneralized-14 #32 
                              (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
                            , 8-bits-at-loc #ungeneralized-15 #32 
                              (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
                            .] sub reg)
                          )
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  ANDmrow (addr, reg) is 
    ; 
      (STORE_METHOD #16 
        (addr.w
        , <RTLOP and> #16 
          (FETCH_METHOD #16 addr.w
          , FETCH_METHOD #16 (
            [.16-bits-at-loc #ungeneralized-0 #32 
              (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
            , 16-bits-at-loc #ungeneralized-1 #32 
              (0 #ungeneralized-1, AGG-ID #32 ($r (1 #3)))
            , 16-bits-at-loc #ungeneralized-2 #32 
              (0 #ungeneralized-2, AGG-ID #32 ($r (2 #3)))
            , 16-bits-at-loc #ungeneralized-3 #32 
              (0 #ungeneralized-3, AGG-ID #32 ($r (3 #3)))
            , 16-bits-at-loc #ungeneralized-4 #32 
              (0 #ungeneralized-4, AGG-ID #32 ($r (4 #3)))
            , 16-bits-at-loc #ungeneralized-5 #32 
              (0 #ungeneralized-5, AGG-ID #32 ($r (5 #3)))
            , 16-bits-at-loc #ungeneralized-6 #32 
              (0 #ungeneralized-6, AGG-ID #32 ($r (6 #3)))
            , 16-bits-at-loc #ungeneralized-7 #32 
              (0 #ungeneralized-7, AGG-ID #32 ($r (7 #3)))
            .] sub reg)
          )
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #16 
                      (<RTLOP and> #16 
                        (FETCH_METHOD #16 addr.w
                        , FETCH_METHOD #16 (
                          [.16-bits-at-loc #ungeneralized-0 #32 
                            (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
                          , 16-bits-at-loc #ungeneralized-1 #32 
                            (0 #ungeneralized-1, AGG-ID #32 ($r (1 #3)))
                          , 16-bits-at-loc #ungeneralized-2 #32 
                            (0 #ungeneralized-2, AGG-ID #32 ($r (2 #3)))
                          , 16-bits-at-loc #ungeneralized-3 #32 
                            (0 #ungeneralized-3, AGG-ID #32 ($r (3 #3)))
                          , 16-bits-at-loc #ungeneralized-4 #32 
                            (0 #ungeneralized-4, AGG-ID #32 ($r (4 #3)))
                          , 16-bits-at-loc #ungeneralized-5 #32 
                            (0 #ungeneralized-5, AGG-ID #32 ($r (5 #3)))
                          , 16-bits-at-loc #ungeneralized-6 #32 
                            (0 #ungeneralized-6, AGG-ID #32 ($r (6 #3)))
                          , 16-bits-at-loc #ungeneralized-7 #32 
                            (0 #ungeneralized-7, AGG-ID #32 ($r (7 #3)))
                          .] sub reg)
                        )
                      , 0 #16
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #16 
                      (<RTLOP and> #16 
                        (FETCH_METHOD #16 addr.w
                        , FETCH_METHOD #16 (
                          [.16-bits-at-loc #ungeneralized-0 #32 
                            (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
                          , 16-bits-at-loc #ungeneralized-1 #32 
                            (0 #ungeneralized-1, AGG-ID #32 ($r (1 #3)))
                          , 16-bits-at-loc #ungeneralized-2 #32 
                            (0 #ungeneralized-2, AGG-ID #32 ($r (2 #3)))
                          , 16-bits-at-loc #ungeneralized-3 #32 
                            (0 #ungeneralized-3, AGG-ID #32 ($r (3 #3)))
                          , 16-bits-at-loc #ungeneralized-4 #32 
                            (0 #ungeneralized-4, AGG-ID #32 ($r (4 #3)))
                          , 16-bits-at-loc #ungeneralized-5 #32 
                            (0 #ungeneralized-5, AGG-ID #32 ($r (5 #3)))
                          , 16-bits-at-loc #ungeneralized-6 #32 
                            (0 #ungeneralized-6, AGG-ID #32 ($r (6 #3)))
                          , 16-bits-at-loc #ungeneralized-7 #32 
                            (0 #ungeneralized-7, AGG-ID #32 ($r (7 #3)))
                          .] sub reg)
                        )
                      , 0 #16
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #16 
                        (0 #ungeneralized-22
                        , <RTLOP and> #16 
                          (FETCH_METHOD #16 addr.w
                          , FETCH_METHOD #16 (
                            [.16-bits-at-loc #ungeneralized-0 #32 
                              (0 #ungeneralized-0, AGG-ID #32 ($r (0 #3)))
                            , 16-bits-at-loc #ungeneralized-1 #32 
                              (0 #ungeneralized-1, AGG-ID #32 ($r (1 #3)))
                            , 16-bits-at-loc #ungeneralized-2 #32 
                              (0 #ungeneralized-2, AGG-ID #32 ($r (2 #3)))
                            , 16-bits-at-loc #ungeneralized-3 #32 
                              (0 #ungeneralized-3, AGG-ID #32 ($r (3 #3)))
                            , 16-bits-at-loc #ungeneralized-4 #32 
                              (0 #ungeneralized-4, AGG-ID #32 ($r (4 #3)))
                            , 16-bits-at-loc #ungeneralized-5 #32 
                              (0 #ungeneralized-5, AGG-ID #32 ($r (5 #3)))
                            , 16-bits-at-loc #ungeneralized-6 #32 
                              (0 #ungeneralized-6, AGG-ID #32 ($r (6 #3)))
                            , 16-bits-at-loc #ungeneralized-7 #32 
                              (0 #ungeneralized-7, AGG-ID #32 ($r (7 #3)))
                            .] sub reg)
                          )
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  ANDmrod (addr, reg) is 
    ; 
      (STORE_METHOD #32 
        (addr.d
        , <RTLOP and> #32 
          (FETCH_METHOD #32 addr.d
          , FETCH_METHOD #32 (
            [.AGG-ID #32 ($r (0 #3))
            , AGG-ID #32 ($r (1 #3))
            , AGG-ID #32 ($r (2 #3))
            , AGG-ID #32 ($r (3 #3))
            , AGG-ID #32 ($r (4 #3))
            , AGG-ID #32 ($r (5 #3))
            , AGG-ID #32 ($r (6 #3))
            , AGG-ID #32 ($r (7 #3))
            .] sub reg)
          )
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #32 
                      (<RTLOP and> #32 
                        (FETCH_METHOD #32 addr.d
                        , FETCH_METHOD #32 (
                          [.AGG-ID #32 ($r (0 #3))
                          , AGG-ID #32 ($r (1 #3))
                          , AGG-ID #32 ($r (2 #3))
                          , AGG-ID #32 ($r (3 #3))
                          , AGG-ID #32 ($r (4 #3))
                          , AGG-ID #32 ($r (5 #3))
                          , AGG-ID #32 ($r (6 #3))
                          , AGG-ID #32 ($r (7 #3))
                          .] sub reg)
                        )
                      , 0 #32
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #32 
                      (<RTLOP and> #32 
                        (FETCH_METHOD #32 addr.d
                        , FETCH_METHOD #32 (
                          [.AGG-ID #32 ($r (0 #3))
                          , AGG-ID #32 ($r (1 #3))
                          , AGG-ID #32 ($r (2 #3))
                          , AGG-ID #32 ($r (3 #3))
                          , AGG-ID #32 ($r (4 #3))
                          , AGG-ID #32 ($r (5 #3))
                          , AGG-ID #32 ($r (6 #3))
                          , AGG-ID #32 ($r (7 #3))
                          .] sub reg)
                        )
                      , 0 #32
                      ))
                  )
                )
              , STORE_METHOD #1 
                (1-bits-at-loc #ungeneralized-17 #32 
                  (2 #ungeneralized-17, AGG-ID #32 ($c (0 #1)))
                , <RTLOP bit> (<RTLOP eq> #1 
                    (<RTLOP parity> #8 (8-bits-at #ungeneralized-22 #32 
                        (0 #ungeneralized-22
                        , <RTLOP and> #32 
                          (FETCH_METHOD #32 addr.d
                          , FETCH_METHOD #32 (
                            [.AGG-ID #32 ($r (0 #3))
                            , AGG-ID #32 ($r (1 #3))
                            , AGG-ID #32 ($r (2 #3))
                            , AGG-ID #32 ($r (3 #3))
                            , AGG-ID #32 ($r (4 #3))
                            , AGG-ID #32 ($r (5 #3))
                            , AGG-ID #32 ($r (6 #3))
                            , AGG-ID #32 ($r (7 #3))
                            .] sub reg)
                          )
                        ))
                    , 0 #1
                    ))
                )
              )
            , STORE_METHOD #1 
              (1-bits-at-loc #ungeneralized-21 #32 
                (11 #ungeneralized-21, AGG-ID #32 ($c (0 #1)))
              , 0 #1
              )
            )
          , STORE_METHOD #1 
            (1-bits-at-loc #ungeneralized-18 #32 
              (4 #ungeneralized-18, AGG-ID #32 ($c (0 #1)))
            , <RTLOP undefined> #1
            )
          )
        , STORE_METHOD #1 
          (1-bits-at-loc #ungeneralized-16 #32 
            (0 #ungeneralized-16, AGG-ID #32 ($c (0 #1)))
          , 0 #1
          )
        )
      ) : rtl

default attribute of 
  ORmrb (addr, reg) is 
    ; 
      (STORE_METHOD #8 
        (addr.b
        , <RTLOP or> #8 
          (FETCH_METHOD #8 addr.b
          , FETCH_METHOD #8 (
            [.8-bits-at-loc #ungeneralized-8 #32 
              (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
            , 8-bits-at-loc #ungeneralized-9 #32 
              (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
            , 8-bits-at-loc #ungeneralized-10 #32 
              (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
            , 8-bits-at-loc #ungeneralized-11 #32 
              (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
            , 8-bits-at-loc #ungeneralized-12 #32 
              (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
            , 8-bits-at-loc #ungeneralized-13 #32 
              (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
            , 8-bits-at-loc #ungeneralized-14 #32 
              (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
            , 8-bits-at-loc #ungeneralized-15 #32 
              (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
            .] sub reg)
          )
        )
      , ; 
        (; 
          (; 
            (; 
              (; 
                (STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-20 #32 
                    (7 #ungeneralized-20, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP lt> #8 
                      (<RTLOP or> #8 
                        (FETCH_METHOD #8 addr.b
                        , FETCH_METHOD #8 (
                          [.8-bits-at-loc #ungeneralized-8 #32 
                            (0 #ungeneralized-8, AGG-ID #32 ($r (0 #3)))
                          , 8-bits-at-loc #ungeneralized-9 #32 
                            (0 #ungeneralized-9, AGG-ID #32 ($r (1 #3)))
                          , 8-bits-at-loc #ungeneralized-10 #32 
                            (0 #ungeneralized-10, AGG-ID #32 ($r (2 #3)))
                          , 8-bits-at-loc #ungeneralized-11 #32 
                            (0 #ungeneralized-11, AGG-ID #32 ($r (3 #3)))
                          , 8-bits-at-loc #ungeneralized-12 #32 
                            (8 #ungeneralized-12, AGG-ID #32 ($r (0 #3)))
                          , 8-bits-at-loc #ungeneralized-13 #32 
                            (8 #ungeneralized-13, AGG-ID #32 ($r (1 #3)))
                          , 8-bits-at-loc #ungeneralized-14 #32 
                            (8 #ungeneralized-14, AGG-ID #32 ($r (2 #3)))
                          , 8-bits-at-loc #ungeneralized-15 #32 
                            (8 #ungeneralized-15, AGG-ID #32 ($r (3 #3)))
                          .] sub reg)
                        )
                      , 0 #8
                      ))
                  )
                , STORE_METHOD #1 
                  (1-bits-at-loc #ungeneralized-19 #32 
                    (6 #ungeneralized-19, AGG-ID #32 ($c (0 #1)))
                  , <RTLOP bit> (<RTLOP eq> #8 
                      (<RTLOP or> #8 
                        (FETCH_METHOD #8 addr.b
                        , FETCH_METHOD #8 (
                          [.8-bits-at-loc #ungeneralized-8 #32