module jk_ff {
   input   j,k ;
   output  q,qb ;
   reg     s ;
   tmp     dd ;

   par {
      any {
         ^j & ^k : dd = s ;
         ^j &  k : dd = 0b0 ;
          j & ^k : dd = 0b1 ;
          j &  k : dd = ^s ;
         }
      s :=  dd ;
      q  =  s ;
      qb = ^s ;
      }
   }