anchor.diff:          | CapacityConst (_, _, constant) ->
               constant
   
  +// Convert Juniper template apply to C++ template apply
   and compileTemplateApply (templateApp : TemplateApply) : string =
       output "<" +
       ((List.append
  
positive.code:     isNewLine <- true
      "\n"
  
  let rec getDeathExpr (ty : TyExpr) : PosAdorn<Expr> =
      let deathFun = dummyWrap (ModQualifierExp {module_=dummyWrap "juniper"; name=dummyWrap "death"})
      let appliedDeath = TemplateApplyExp { func = deathFun;
  
negative.code:         (CallExp {func = appliedDeath;
                    args = dummyWrap []})
  
  // Converts type from Juniper representation to C++ representation.
  and compileType (ty : TyExpr) : string =
      match ty with
          | BaseTy (_, _, bty) ->
  