minor bug in test harness. seems to synthesize OK now. still not tested.