anchor.diff:              let res = CE_renegotiation_info (cvd) in
               let res = correct res in
               Some(res))
  -    | (0xFFuy, 0xABuy) -> // extended_ms
  +    | (0x00uy, 0x17uy) -> // extended_ms
           if equalBytes payload empty_bytes then
               Some(correct (CE_extended_ms))
           else
  
positive.code:     match ext with
      | SE_renegotiation_info (_,_) -> abyte2 (0xFFuy, 0x01uy)
   //   | SE_server_name (_)        -> abyte2 (0x00uy, 0x00uy)
      | SE_extended_ms              -> abyte2 (0xFFuy, 0xABuy)
      | SE_extended_padding         -> abyte2 (0xBBuy, 0x8Fuy)
  
  let serverExtensionPayloadBytes ext =
  
negative.code:             let (cvd,svd) = split vd (vdL/2) in
              let res = SE_renegotiation_info (cvd,svd) in
              correct(res))
      | (0x00uy, 0x17uy) -> // extended master secret
          if equalBytes payload empty_bytes then
              correct(SE_extended_ms)
          else
  