||-----------------------------------------------------------  
|| Name:    Macro Expander.                                  ||
|| Version: 2  GLAMMAR (Oct  3, 1990)                        ||
|| Author:  Eric Voss                                        ||
|| Address: KUN NIJMEGEN Informatica II A3017 tel: (61)2306. ||
|| E-mail:  ericv@cs.kun.nl                                  ||
||-----------------------------------------------------------  


  [
      (DefBasetype ( "testin",  1 )  "B"),
      (DefAtom ( "testin",  4 )  "sreg"
        []
        (TypUni
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B"),
                (TypProd
                  [
                      (TypBase "B"),
                      (TypBase "B")
                  ])
            ])
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B")
            ]))),
      (DefAtom ( "testin",  5 )  "sbdff"
        []
        (TypUni
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B")
            ])
          (TypBase "B"))),
      (DefAtom ( "testin",  6 )  "scount4"
        [ (PTBool), (PTBool), (PTBool), (PTBool), (PTBool)
        ]
        (TypUni
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B"),
                (TypProd
                  [
                      (TypBase "B"),
                      (TypBase "B"),
                      (TypBase "B"),
                      (TypBase "B")
                  ])
            ])
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B"),
                (TypProd
                  [
                      (TypBase "B"),
                      (TypBase "B"),
                      (TypBase "B"),
                      (TypBase "B")
                  ])
            ]))),
      (DefAtom ( "testin",  8 )  "sbuffer"
        [ (PTBool), (PTBool)
        ]
        (TypUni
          (TypBase "B")
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B")
            ]))),
      (DefAtom ( "testin",  13 )  "and"
        []
        (TypUni
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B")
            ])
          (TypBase "B"))),
      (DefAtom ( "testin",  14 )  "nand"
        []
        (TypUni
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B")
            ])
          (TypBase "B"))),
      (DefAtom ( "testin",  15 )  "or"
        []
        (TypUni
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B")
            ])
          (TypBase "B"))),
      (DefAtom ( "testin",  16 )  "sxor"
        []
        (TypUni
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B")
            ])
          (TypBase "B"))),
      (DefAtom ( "testin",  17 )  "nor"
        []
        (TypUni
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B")
            ])
          (TypBase "B"))),
      (DefAtom ( "testin",  18 )  "not"
        []
        (TypUni
          (TypBase "B")
          (TypBase "B"))),
      (DefAtom ( "testin",  19 )  "snor2"
        []
        (TypUni
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B")
            ])
          (TypBase "B"))),
      (DefAtom ( "testin",  20 )  "snor3"
        []
        (TypUni
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B")
            ])
          (TypBase "B"))),
      (DefAtom ( "testin",  21 )  "snand2"
        []
        (TypUni
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B")
            ])
          (TypBase "B"))),
      (DefAtom ( "testin",  22 )  "sfix"
        []
        (TypUni
          (TypProd
            [])
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B")
            ]))),
      (DefAtom ( "testin",  25 )  "sipad"
        []
        (TypUni
          (TypProd
            [])
          (TypBase "B"))),
      (DefAtom ( "testin",  26 )  "sopad"
        []
        (TypNon
          (TypBase "B"))),
      (DefVal ( "testin",  29 )  "regpart1"
        (TypUni
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B")
            ])
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B")
            ]))
        (VLambda
          (FCList
            [
                (FCSym "ck_32"),
                (FCSym "reset_33"),
                (FCSym "d2_34"),
                (FCSym "d1_35"),
                (FCSym "d0_36")
            ])
          (VAtom ( "testin",  30 )  "sreg"
            []
            (VList
              [
                  (VSym ( "testin",  30 )  "ck_32"),
                  (VSym ( "testin",  30 )  "reset_33"),
                  (VList
                    [
                        (VSym ( "testin",  30 )  "d0_36"),
                        (VSym ( "testin",  30 )  "d1_35")
                    ])
              ])))),
      (DefVal ( "testin",  33 )  "fsmlog1"
        (TypUni
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B")
            ])
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B")
            ]))
        (VLambda
          (FCList
            [
                (FCSym "q2_47"),
                (FCSym "q0_48"),
                (FCSym "tp_49"),
                (FCSym "ip_50")
            ])
          (VWhere
            [
                (DefCon ( "testin",  37 ) 
                  (VSym ( "testin",  37 )  "newclock_51")
                  (VAtom ( "testin",  37 )  "and"
                    []
                    (VList
                      [
                          (VAtom ( "testin",  37 )  "not"
                            []
                            (VSym ( "testin",  37 )  "q0_48")),
                          (VSym ( "testin",  37 )  "q2_47")
                      ]))),
                (DefCon ( "testin",  38 ) 
                  (VSym ( "testin",  38 )  "timeout_52")
                  (VAtom ( "testin",  38 )  "and"
                    []
                    (VList
                      [
                          (VAtom ( "testin",  38 )  "not"
                            []
                            (VSym ( "testin",  38 )  "q0_48")),
                          (VAtom ( "testin",  38 )  "not"
                            []
                            (VSym ( "testin",  38 )  "q2_47"))
                      ]))),
                (DefCon ( "testin",  39 ) 
                  (VSym ( "testin",  39 )  "srdata0_53")
                  (VAtom ( "testin",  39 )  "and"
                    []
                    (VList
                      [
                          (VSym ( "testin",  39 )  "q0_48"),
                          (VAtom ( "testin",  39 )  "not"
                            []
                            (VSym ( "testin",  39 )  "q2_47"))
                      ]))),
                (DefCon ( "testin",  40 ) 
                  (VSym ( "testin",  40 )  "srdata1_54")
                  (VAtom ( "testin",  40 )  "and"
                    []
                    (VList
                      [
                          (VSym ( "testin",  40 )  "q0_48"),
                          (VSym ( "testin",  40 )  "q2_47")
                      ]))),
                (DefCon ( "testin",  41 ) 
                  (VSym ( "testin",  41 )  "d1_55")
                  (VAtom ( "testin",  41 )  "or"
                    []
                    (VList
                      [
                          (VSym ( "testin",  41 )  "ip_50"),
                          (VAtom ( "testin",  41 )  "and"
                            []
                            (VList
                              [
                                  (VAtom ( "testin",  41 )  "not"
                                    []
                                    (VSym ( "testin",  41 )  "tp_49")),
                                  (VSym ( "testin",  41 )  "q2_47")
                              ]))
                      ]))),
                (DefCon ( "testin",  42 ) 
                  (VSym ( "testin",  42 )  "d0_56")
                  (VAtom ( "testin",  42 )  "or"
                    []
                    (VList
                      [
                          (VAtom ( "testin",  42 )  "and"
                            []
                            (VList
                              [
                                  (VSym ( "testin",  42 )  "ip_50"),
                                  (VAtom ( "testin",  42 )  "and"
                                    []
                                    (VList
                                      [
                                          (VAtom ( "testin",  42 )  "not"
                                            []
                                            (VSym ( "testin",  42 )  "q0_48")),
                                          (VSym ( "testin",  42 )  "q2_47")
                                      ]))
                              ])),
                          (VAtom ( "testin",  43 )  "or"
                            []
                            (VList
                              [
                                  (VAtom ( "testin",  43 )  "and"
                                    []
                                    (VList
                                      [
                                          (VSym ( "testin",  43 )  "tp_49"),
                                          (VAtom ( "testin",  43 )  "and"
                                            []
                                            (VList
                                              [
                                                  (VAtom ( "testin",  43 )  "not"
                                                    []
                                                    (VSym ( "testin",  43 )  "q0_48")),
                                                  (VSym ( "testin",  43 )  "q2_47")
                                              ]))
                                      ])),
                                  (VAtom ( "testin",  44 )  "and"
                                    []
                                    (VList
                                      [
                                          (VAtom ( "testin",  44 )  "not"
                                            []
                                            (VSym ( "testin",  44 )  "ip_50")),
                                          (VAtom ( "testin",  44 )  "and"
                                            []
                                            (VList
                                              [
                                                  (VAtom ( "testin",  44 )  "not"
                                                    []
                                                    (VSym ( "testin",  44 )  "tp_49")),
                                                  (VSym ( "testin",  44 )  "q0_48")
                                              ]))
                                      ]))
                              ]))
                      ])))
            ]
            (VList
              [
                  (VSym ( "testin",  35 )  "srdata1_54"),
                  (VSym ( "testin",  35 )  "srdata0_53"),
                  (VSym ( "testin",  35 )  "timeout_52"),
                  (VSym ( "testin",  35 )  "d1_55"),
                  (VSym ( "testin",  35 )  "d0_56"),
                  (VSym ( "testin",  35 )  "newclock_51")
              ])))),
      (DefVal ( "testin",  49 )  "fsm"
        (TypUni
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B")
            ])
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B"),
                (TypProd
                  [
                      (TypBase "B"),
                      (TypBase "B")
                  ])
            ]))
        (VLambda
          (FCList
            [
                (FCSym "ck_71"),
                (FCSym "reset_72"),
                (FCSym "tp_73"),
                (FCSym "ip_74")
            ])
          (VWhere
            [
                (DefCon ( "testin",  51 ) 
                  (VSym ( "testin",  51 )  "srdata_75")
                  (VList
                    [
                        (VSym ( "testin",  51 )  "srdata0_76"),
                        (VSym ( "testin",  51 )  "srdata1_77")
                    ])),
                (DefCon ( "testin",  53 ) 
                  (VList
                    [
                        (VSym ( "testin",  52 )  "srdata1_77"),
                        (VSym ( "testin",  52 )  "srdata0_76"),
                        (VSym ( "testin",  52 )  "timeout_78"),
                        (VSym ( "testin",  52 )  "d1_79"),
                        (VSym ( "testin",  52 )  "d0_80"),
                        (VSym ( "testin",  52 )  "newclock_81")
                    ])
                  (VApply
                    (VSym ( "testin",  53 )  "fsmlog1")
                    (VList
                      [
                          (VSym ( "testin",  53 )  "q2_82"),
                          (VSym ( "testin",  53 )  "q0_83"),
                          (VSym ( "testin",  53 )  "tp_73"),
                          (VSym ( "testin",  53 )  "ip_74")
                      ]))),
                (DefCon ( "testin",  55 ) 
                  (VList
                    [
                        (VSym ( "testin",  54 )  "q2_82"),
                        (VSym ( "testin",  54 )  "q0_83")
                    ])
                  (VApply
                    (VSym ( "testin",  55 )  "regpart1")
                    (VList
                      [
                          (VSym ( "testin",  55 )  "ck_71"),
                          (VSym ( "testin",  55 )  "reset_72"),
                          (VSym ( "testin",  55 )  "x_84"),
                          (VSym ( "testin",  55 )  "d1_79"),
                          (VSym ( "testin",  55 )  "d0_80")
                      ])))
            ]
            (VList
              [
                  (VSym ( "testin",  50 )  "timeout_78"),
                  (VSym ( "testin",  50 )  "newclock_81"),
                  (VSym ( "testin",  50 )  "srdata_75")
              ])))),
      (DefVal ( "testin",  59 )  "ldff"
        (TypUni
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B")
            ])
          (TypBase "B"))
        (VLambda
          (FCList
            [
                (FCSym "ld_90"),
                (FCSym "ck_91"),
                (FCSym "d_92")
            ])
          (VWhere
            [
                (DefCon ( "testin",  61 ) 
                  (VSym ( "testin",  61 )  "q_93")
                  (VAtom ( "testin",  61 )  "sbdff"
                    []
                    (VList
                      [
                          (VSym ( "testin",  61 )  "ck_91"),
                          (VSym ( "testin",  61 )  "ddff_94")
                      ]))),
                (DefCon ( "testin",  62 ) 
                  (VSym ( "testin",  62 )  "ddff_94")
                  (VAtom ( "testin",  62 )  "nand"
                    []
                    (VList
                      [
                          (VAtom ( "testin",  62 )  "nand"
                            []
                            (VList
                              [
                                  (VAtom ( "testin",  62 )  "not"
                                    []
                                    (VSym ( "testin",  62 )  "ld_90")),
                                  (VSym ( "testin",  62 )  "q_93")
                              ])),
                          (VAtom ( "testin",  63 )  "nand"
                            []
                            (VList
                              [
                                  (VSym ( "testin",  63 )  "ld_90"),
                                  (VSym ( "testin",  63 )  "d_92")
                              ]))
                      ])))
            ]
            (VSym ( "testin",  61 )  "q_93")))),
      (DefVal ( "testin",  68 )  "posedge"
        (TypUni
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B")
            ])
          (TypBase "B"))
        (VLambda
          (FCList
            [
                (FCSym "ck_98"),
                (FCSym "in_99")
            ])
          (VWhere
            [
                (DefCon ( "testin",  70 ) 
                  (VSym ( "testin",  70 )  "out_100")
                  (VAtom ( "testin",  70 )  "and"
                    []
                    (VList
                      [
                          (VAtom ( "testin",  70 )  "not"
                            []
                            (VAtom ( "testin",  70 )  "sbdff"
                              []
                              (VList
                                [
                                    (VSym ( "testin",  70 )  "ck_98"),
                                    (VSym ( "testin",  70 )  "in_99")
                                ]))),
                          (VSym ( "testin",  72 )  "in_99")
                      ])))
            ]
            (VSym ( "testin",  70 )  "out_100")))),
      (DefVal ( "testin",  76 )  "edge"
        (TypUni
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B")
            ])
          (TypBase "B"))
        (VLambda
          (FCList
            [
                (FCSym "ck_104"),
                (FCSym "in_105")
            ])
          (VWhere
            [
                (DefCon ( "testin",  79 ) 
                  (VSym ( "testin",  79 )  "q_106")
                  (VAtom ( "testin",  79 )  "sbdff"
                    []
                    (VList
                      [
                          (VSym ( "testin",  79 )  "ck_104"),
                          (VSym ( "testin",  79 )  "in_105")
                      ])))
            ]
            (VAtom ( "testin",  77 )  "sxor"
              []
              (VList
                [
                    (VAtom ( "testin",  77 )  "sbdff"
                      []
                      (VList
                        [
                            (VSym ( "testin",  77 )  "ck_104"),
                            (VSym ( "testin",  77 )  "q_106")
                        ])),
                    (VSym ( "testin",  78 )  "q_106")
                ]))))),
      (DefVal ( "testin",  84 )  "timer"
        (TypUni
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B")
            ])
          (TypBase "B"))
        (VLambda
          (FCList
            [
                (FCSym "ck_124"),
                (FCSym "reset_125"),
                (FCSym "r_126")
            ])
          (VWhere
            [
                (DefCon ( "testin",  87 ) 
                  (VSym ( "testin",  87 )  "tp_127")
                  (VAtom ( "testin",  87 )  "snor2"
                    []
                    (VList
                      [
                          (VAtom ( "testin",  87 )  "snor2"
                            []
                            (VList
                              [
                                  (VSym ( "testin",  87 )  "q2_128"),
                                  (VSym ( "testin",  87 )  "q3_129")
                              ])),
                          (VAtom ( "testin",  88 )  "snand2"
                            []
                            (VList
                              [
                                  (VSym ( "testin",  88 )  "q0_130"),
                                  (VAtom ( "testin",  88 )  "not"
                                    []
                                    (VSym ( "testin",  88 )  "q1_131"))
                              ]))
                      ]))),
                (DefCon ( "testin",  89 ) 
                  (VList
                    [
                        (VSym ( "testin",  89 )  "q0_130"),
                        (VSym ( "testin",  89 )  "q1_131"),
                        (VSym ( "testin",  89 )  "q2_128"),
                        (VSym ( "testin",  89 )  "q3_129")
                    ])
                  (VSym ( "testin",  89 )  "q_132")),
                (DefCon ( "testin",  90 ) 
                  (VList
                    [
                        (VSym ( "testin",  90 )  "cu_133"),
                        (VSym ( "testin",  90 )  "cd_134"),
                        (VSym ( "testin",  90 )  "q_132")
                    ])
                  (VAtom ( "testin",  90 )  "scount4"
                    [
                        (ParBool  False ),
                        (ParBool  True ),
                        (ParBool  True ),
                        (ParBool  False ),
                        (ParBool  False )
                    ]
                    (VList
                      [
                          (VSym ( "testin",  91 )  "d1_135"),
                          (VSym ( "testin",  91 )  "reset_125"),
                          (VSym ( "testin",  91 )  "ck_124"),
                          (VSym ( "testin",  91 )  "d2_136"),
                          (VSym ( "testin",  91 )  "one_137"),
                          (VSym ( "testin",  91 )  "d3_138"),
                          (VSym ( "testin",  91 )  "d4_139")
                      ]))),
                (DefCon ( "testin",  92 ) 
                  (VList
                    [
                        (VSym ( "testin",  92 )  "zero_140"),
                        (VSym ( "testin",  92 )  "one_137")
                    ])
                  (VAtom ( "testin",  92 )  "sfix"
                    []
                    (VList
                      [])))
            ]
            (VSym ( "testin",  86 )  "tp_127")))),
      (DefVal ( "testin",  96 )  "srff"
        (TypUni
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B")
            ])
          (TypBase "B"))
        (VLambda
          (FCList
            [
                (FCSym "ck_146"),
                (FCSym "reset_147"),
                (FCSym "s_148"),
                (FCSym "r_149")
            ])
          (VWhere
            [
                (DefCon ( "testin",  99 ) 
                  (VSym ( "testin",  99 )  "q_150")
                  (VAtom ( "testin",  99 )  "sbdff"
                    []
                    (VList
                      [
                          (VSym ( "testin",  100 )  "ck_146"),
                          (VAtom ( "testin",  100 )  "snor3"
                            []
                            (VList
                              [
                                  (VSym ( "testin",  100 )  "reset_147"),
                                  (VSym ( "testin",  100 )  "r_149"),
                                  (VAtom ( "testin",  101 )  "snor2"
                                    []
                                    (VList
                                      [
                                          (VSym ( "testin",  101 )  "s_148"),
                                          (VSym ( "testin",  101 )  "q_150")
                                      ]))
                              ]))
                      ])))
            ]
            (VSym ( "testin",  98 )  "q_150")))),
      (DefVal ( "testin",  107 )  "core"
        (TypUni
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B")
            ])
          (TypProd
            [
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B"),
                (TypBase "B")
            ]))
        (VLambda
          (FCList
            [
                (FCSym "ck_166"),
                (FCSym "cd_167"),
                (FCSym "reset_168")
            ])
          (VWhere
            [
                (DefCon ( "testin",  110 ) 
                  (VSym ( "testin",  110 )  "syncdata_169")
                  (VApply
                    (VSym ( "testin",  110 )  "ldff")
                    (VList
                      [
                          (VSym ( "testin",  110 )  "syncclk_170"),
                          (VSym ( "testin",  110 )  "ckbuf0_171"),
                          (VSym ( "testin",  110 )  "dataout_172")
                      ]))),
                (DefCon ( "testin",  111 ) 
                  (VList
                    [
                        (VSym ( "testin",  111 )  "ckbuf0_171"),
                        (VSym ( "testin",  111 )  "ckbuf1_173")
                    ])
                  (VSym ( "testin",  111 )  "ckbuf_174")),
                (DefCon ( "testin",  112 ) 
                  (VSym ( "testin",  112 )  "ckbuf_174")
                  (VAtom ( "testin",  112 )  "sbuffer"
                    [
                        (ParBool  False ),
                        (ParBool  True )
                    ]
                    (VSym ( "testin",  112 )  "ck_166"))),
                (DefCon ( "testin",  113 ) 
                  (VSym ( "testin",  113 )  "dataout_172")
                  (VApply
                    (VSym ( "testin",  113 )  "srff")
                    (VList
                      [
                          (VSym ( "testin",  113 )  "ckbuf0_171"),
                          (VSym ( "testin",  113 )  "reset_168"),
                          (VSym ( "testin",  113 )  "srdata1_175"),
                          (VSym ( "testin",  113 )  "srdata0_176")
                      ]))),
                (DefCon ( "testin",  114 ) 
                  (VSym ( "testin",  114 )  "syncclk_170")
                  (VApply
                    (VSym ( "testin",  114 )  "posedge")
                    (VList
                      [
                          (VSym ( "testin",  114 )  "ckbuf0_171"),
                          (VSym ( "testin",  114 )  "newclock_177")
                      ]))),
                (DefCon ( "testin",  115 ) 
                  (VSym ( "testin",  115 )  "ip_178")
                  (VApply
                    (VSym ( "testin",  115 )  "edge")
                    (VList
                      [
                          (VSym ( "testin",  115 )  "ckbuf0_171"),
                          (VSym ( "testin",  115 )  "cd_167")
                      ]))),
                (DefCon ( "testin",  116 ) 
                  (VList
                    [
                        (VSym ( "testin",  116 )  "srdata0_176"),
                        (VSym ( "testin",  116 )  "srdata1_175")
                    ])
                  (VSym ( "testin",  116 )  "srdata_179")),
                (DefCon ( "testin",  117 ) 
                  (VList
                    [
                        (VSym ( "testin",  117 )  "timeout_180"),
                        (VSym ( "testin",  117 )  "newclock_177"),
                        (VSym ( "testin",  117 )  "srdata_179")
                    ])
                  (VApply
                    (VSym ( "testin",  117 )  "fsm")
                    (VList
                      [
                          (VSym ( "testin",  117 )  "ckbuf0_171"),
                          (VSym ( "testin",  118 )  "reset_168"),
                          (VApply
                            (VSym ( "testin",  119 )  "timer")
                            (VList
                              [
                                  (VSym ( "testin",  119 )  "ckbuf0_171"),
                                  (VSym ( "testin",  119 )  "reset_168"),
                                  (VSym ( "testin",  119 )  "ip_178")
                              ])),
                          (VSym ( "testin",  121 )  "ip_178")
                      ])))
            ]
            (VList
              [
                  (VSym ( "testin",  108 )  "timeout_180"),
                  (VSym ( "testin",  108 )  "syncclk_170"),
                  (VSym ( "testin",  108 )  "dataout_172"),
                  (VSym ( "testin",  108 )  "syncdata_169")
              ])))),
      (DefVal ( "testin",  126 )  "chip"
        (TypNon
          (TypProd
            []))
        (VSigma
          (FCSym "dc_189")
          (VWhere
            [
                (DefCon ( "testin",  134 ) 
                  (VList
                    [
                        (VSym ( "testin",  134 )  "timeout_190"),
                        (VSym ( "testin",  134 )  "syncclk_191"),
                        (VSym ( "testin",  134 )  "dataout_192"),
                        (VSym ( "testin",  134 )  "syncdata_193")
                    ])
                  (VApply
                    (VSym ( "testin",  134 )  "core")
                    (VList
                      [
                          (VSym ( "testin",  134 )  "ck_194"),
                          (VSym ( "testin",  134 )  "cd_195"),
                          (VSym ( "testin",  134 )  "reset_196")
                      ]))),
                (DefCon ( "testin",  135 ) 
                  (VSym ( "testin",  135 )  "ck_194")
                  (VAtom ( "testin",  135 )  "sipad"
                    []
                    (VList
                      []))),
                (DefCon ( "testin",  136 ) 
                  (VSym ( "testin",  136 )  "cd_195")
                  (VAtom ( "testin",  136 )  "sipad"
                    []
                    (VList
                      []))),
                (DefCon ( "testin",  137 ) 
                  (VSym ( "testin",  137 )  "reset_196")
                  (VAtom ( "testin",  137 )  "sipad"
                    []
                    (VList
                      [])))
            ]
            (VAppset
              [
                  (VAtom ( "testin",  128 )  "sopad"
                    []
                    (VSym ( "testin",  128 )  "timeout_190")),
                  (VAtom ( "testin",  129 )  "sopad"
                    []
                    (VSym ( "testin",  129 )  "syncclk_191")),
                  (VAtom ( "testin",  130 )  "sopad"
                    []
                    (VSym ( "testin",  130 )  "dataout_192")),
                  (VAtom ( "testin",  131 )  "sopad"
                    []
                    (VSym ( "testin",  132 )  "syncdata_193"))
              ]))))
  ]

