anchor.diff:      override xAK'.DoCont (wr, xA) = xA.DoJob (&wr, xK)
   
     let guard (xAJ: Job<Alt<'x>>) =
  -    {new Alt<'x>() with
  +    {new Alt<'x> () with
         override xA'.DoJob (wr, xK) =
          xAJ.DoJob (&wr, GuardJobCont xK)
         override xA'.TryAlt (wr, i, pk, xK, xE) =
  -       xAJ.DoJob (&wr, {new Cont<Alt<'x>>() with
  +       xAJ.DoJob (&wr, {new Cont<Alt<'x>> () with
           override xAK'.DoHandle (wr, e) = xK.DoHandle (&wr, e)
           override xAK'.DoWork (wr) = xAK'.Value.TryAlt (&wr, i, pk, xK, xE)
           override xAK'.DoCont (wr, xA) = xA.TryAlt (&wr, i, pk, xK, xE)})}
   
     let delay (u2xA: unit -> Alt<'x>) =
  -    {new Alt<'x>() with
  +    {new Alt<'x> () with
         override xA'.DoJob (wr, xK) = (u2xA ()).DoJob (&wr, xK)
         override xA'.TryAlt (wr, i, pk, xK, xE) = (u2xA ()).TryAlt (&wr, i, pk, xK, xE)}
   
  -  let inline pick (xA: Alt<'x>) : Job<'x> =
  +  let inline pick (xA: Alt<'x>) =
       xA :> Job<'x>
  -
  +     
     type WithNackElse<'x> (nk: Nack, xE: Else<'x>) =
       inherit Else<'x> ()
       override xE'.TryElse (wr, i, pk, xK) =
  
positive.code:     if ms < 0L || 2147483647L < ms then
        failwith "TimeSpan out of allowed range"
      let ms = int ms
      {new Alt<unit>() with
        override uA'.DoJob (wr, uK) =
         Scheduler.SynchronizedPushTimed
          (&wr, WorkTimedUnitCont (Environment.TickCount + ms, 0, null, uK))
  
negative.code: 
      module Con =
        let iterJob (x2yJ: 'x -> Job<'y>) (xs: seq<'x>) =
          {new Job<unit> () with
            override uJ'.DoJob (wr, uK) =
             let join = ConIgnore_State (uK, x2yJ)
             wr.Handler <- join
  