<> <> ClockGen RoseClocks 7 "RoseClocks.Init[]" [PhaseA, PhaseB>BOOL] !!