anchor.diff:  
           | TOp.Bytes bytes,[],[] -> 
                 ConvExpr cenv env (Expr.Op(TOp.Array, [cenv.g.byte_ty], List.ofArray (Array.map (mkByte cenv.g m) bytes), m))
  +
           | TOp.UInt16s arr,[],[] -> 
                 ConvExpr cenv env (Expr.Op(TOp.Array, [cenv.g.uint16_ty], List.ofArray (Array.map (mkUInt16 cenv.g m) arr), m))
                 
  
positive.code:             let expr,exprty = AdjustValForExpectedArity cenv.g m vref vFlags topValInfo 
              ConvExpr cenv env (MakeApplicationAndBetaReduce cenv.g (expr,exprty,[tyargs],curriedArgs,m)) 
          else
          
              // Too many arguments? Chop 
              let (curriedArgs:Expr list ),laterArgs = List.chop curriedArgInfos.Length curriedArgs 
  
  
negative.code:     | Expr.Const(c,m,ty) -> 
          ConvConst cenv env m c ty
  
      | Expr.Val(vref,_vFlags,m) ->
          ConvValRef true cenv env m vref []
  
      | Expr.Let(bind,body,_,_) ->
          // The binding may be a compiler-generated binding that gets removed in the quotation presentation
          match ConvLetBind cenv env bind with 
          | None, env -> ConvExpr cenv env body
  